anchor.diff:  
   A consistent set of rules is defined for <<equality-con,equality>>, <<equivalence-con,equivalence>>, <<comparability-con,comparability>> and <<orderability-con,orderability>>.
   
  -Futhermore, aggregation semantics are clarified and this proposal prepares the replacement (or reinterpretation) of `NaN` values as `null` values in the future.
  +Furthermore, aggregation semantics are clarified and this proposal prepares the replacement (or reinterpretation) of `NaN` values as `null` values in the future.
   
   == Caveats to this proposal
   
  
positive.code: |`FLOAT`        |        |                |        |       |                |          |           | X         | X       |
  |`VOID`         |        |                |        |       |                |          |           |           |         |
  |================================================================================================================================
  `
  
negative.code: 
  To give a concrete example, under this global sort order all nodes come before all strings.
  
  Between values of the same type in the global sort order, orderability defers to comparability except that equality is overridden by equivalence as described below.
  For example, `[null, 1]` is ordered before `[null, 2]` under orderability.
  
  Furthermore, the values of additional, non-canonical types must not be inserted after `NaN` values in the global sort order.
  