Type Names and Type Matching

  • Types are identified by name.

  • Available type names are determined by schema import.

  • Values are “atomized” before most comparisons.