Added A start to semantic analysis.
Right in the middle of readjusting the definition phase.
About to add ifBlock and elseBlock
Finished with type checking.  Just needs to be debugged.