Added UndefinedError class
Expanded TypeChecker
Added assertType method
Expanded TypeChecker further
Expanded MethodCall visit method
Extended MethodCall method further
Refactored MethodCall visit method
Finished TypeChecker
Added typechecking tests
Added documenting comment