Work on the analyzer, trying to generalize exprType
Split Analyzer into Analyzer and TypeChecker. Both compile now