accommodate changes to typechecker
"dynamic" is now a keyword