Finished typechecker, wrote tests for typechecker
second attempt (to do what? no idea)
again...aargh