Types are identified by name.
Available type names are determined by schema import.
Values are “atomized” before most comparisons.
