a grammar interpreter based on the original nimrod compiler (in pascal)