learning how to build a type system via TAPL - View it on GitHub