Fixed nested begin - end's

Fixed numerous bugs in operations and type checking

Added updated documentation

Completely rewrote how variables are inserted into the symbol table.

Only thing KNOWN to not be working is "functions".  Dummy code is in place for recognizing the grammar of a function.
This is noted in the documentation.