CS242 type checker lab