::= ::= '+' ::= ['%' ] ::= [('+' | '-') ] ::= ['*' | '/' | '%'] ] ::= ['hd'|'tl'|'fst'|'snd] | | | | 'False' | 'True' | '(' ')' | '(' [] ')' | '[]' | '(' ',' ')' ::= '+' | '-' | '*' | '/' | '%' | '==' | '<' | '>' | '<=' | '>=' | '!=' | '&&' | '||' | ':' ::= [',' ActArgs] ::= ( | 'var') '=' ';' ::= 'Int' | 'Bool' | 'Char' | '(' Type ',' Type ')' | '[' Type ']' |