Formally define what it means for various indices to be 'null'

[cdacamar]

The spec references cases where an index or offset is 'null' but never formally defines what it means to be 'null'. It would be useful to have a formal definition for null indices, offsets, etc.