plai My Racket files for PLAI. Solutions plai-typed taken from Matthew Flatt's CS 5510: Definition of Programming Languages.