grammar to go in parser.mly

adding a comment to note that the grammar for SEAL will go in parser.mly