redo NonNull

* split off SafeSequence so we can have IsSequence => NonNull NotEmpty
* add more SafeSequence definitions
* add NullError exception type
* start on default definitions for OrdNonNull
* also add headMay, lastMay, tailDef, initDef for IsSequence