Add Analysis & Type Checking Visitor

[alinalihassan]

Currently a lot of analysis and type checking is happening in the code generator. A new pass would be ideal for more important type improvements, like generics which are planned in the near future