Started the type checking process. TODO: Fillout the NTERM_CONSTANT switch

Explanation of type checking. Each statement needs to be handled differently
Each statement will have some amount of expressions. Each expression can
be evaluated recursively with a post order recursive search that spits out
errors as it finds them. And will return the type as a string.