more code and more questions in typechecker