Use different types for different predeclared identifiers.