Fixed a bug where non-keywords such as forAll cannot be used as simple
names for definitions (restriction was due to grammar definition). But,
still restrictions apply to "iterate" as simple name.
Added test cases to check if special non-keywords can be used with the
parser.