Evaluator and type checker implementations for languages defined in Benjamin Pierce's "Types and Programming Languages" book.