get rid of extraneous junk in typechecker module