wip fix a place where we were calling syntax2
wip make AgentTypeChecker rely less on nvm
minor cleanup