parse.py: IDENTIFIER -> IDENT