flesh out error-reporting spec; make grammar match implementation in that a data block needs 0 or more save frames -- not 1 or more