[add-two-types.tentative.html]
  [Adding two types with different non-null percent hints throws TypeError]
    expected: FAIL

  [Adding two types with the same nonzero values returns same type]
    expected: FAIL

  [Adding two types with empty maps with returns empty map]
    expected: FAIL

  [Adding a type with percent returns type with percent hint]
    expected: FAIL

  [Adding a type with percent 2 returns type with percent hint throws TypeError]
    expected: FAIL

  [Adding a type with a percent hint returns a type with the percent hint]
    expected: FAIL

  [Adding two types with the same percent hint returns a type with the percent hint]
    expected: FAIL

