New version with most egregious mistakes corrected.
EQUALS on ARRAYs now suggests checking ARRAY-DIMENSIONS Examples fixed
The HASH-CODE issue is still open. As well as the '-P' suffix for variables. Other errors are definitively lurking in the text, as well as missing things (e.g., the definition of some conditions in support of the specification).
Cheers -- Marco Antoniotti