typecheckContext renamed to typecheckerContext