Grammar:
Removed excess rules.

Added many visit rules: for expressions - working.
Added help classes to support Variables and types.