adding a tests/ directory of .cool test programs, and the typechecking portion of the compiler