Working on Typechecker.
Debugging...