The documentation (http://mlton.org/MLBasisAnnotations) claims that
     "sequenceNonUnit error"
is a valid annotation, but I'm getting the warning
     Warning: util.mlb 7.7.
       Unrecognized annotation: sequenceNonUnit error.
This is with mlton-20050731.
     - John