Type checker and evaluator for the course Capita Selecta of Programming Languages. Made for the language as described in Chapter 8 of Types and Programming Languages by B. C. Pierce, with some extensions.