termName

Compat211

typeIntersection

Compat211

typeName

Compat211

typecheck

Compat211