fixed some bugs found in type checker
added test runners