update for change to typechecker API