identifiers are now [a-z][a-b0-9]*