Debugging the type checker...

May be it is working!!!