Typechecking tests for Rick Ord's Compilers class.