Included typechecking.t test
Included more test classes for testing