Define Ion's typed null semantics for PartiQL

[alancai98]

Since PartiQL is a super-set of Ion, we'll need to formalize Ion's typed nulls in the PartiQL type and value system. Specifically need to define how:

• Typed nulls are preserved through PartiQL statements
• Typed nulls interact with operations (e.g. arithmetic, CAST, ...)