Bugfix in TypeChecker
Bugfix in TypeChecker
Bugfix in MethodTable
Added TypeCheck test