Identifiers used as names of constructors and transformations have the form
ID = [a-zA-Z][a-zA-Z0-9\-\_]*
In particular, hyphens can be part of identifiers.
Identifiers cannot be followed by identifiers or keywords without intervening whitespace.
provide list of reserved words
Module names can be sequences of identifiers separated by
INT = [0-9]+
syntax of integers
Spaces, tabs, and newlines are whitespace and can occur between any two tokens.
Comments follow the C/Java tradition.
That is, the language supports single line comments after
// a single line comment
and multi-line comments between
/* a multi-line comment can be spread over multiple lines */
Comments can occur anywhere.
Multi-line comments cannot be nested currently.
but this should be changed so that multi-line comments can be nested