added mechanism for file-format-number:

* number is written into stored object/file
* if upon restoring the file, the stored version number does not match
the current version, an error is thrown
added mechanism for file-format-number:

* number is written into generated grammar file
* if on loading the file, the stored version number does not match the
current format version, an error is thrown