Collapse nominal, symbol, and var into classes that just include NamedType.