- The substutution function can return types that are semantically
  equal but not phisically equal. All data structures now use
  a total order that checks semantic equality.