Fix EBNF for record field lists (semicolon is terminator not separator).
Add Are_Compatible_Types and Is_Comparator.
Start of expression support.