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