refactored how we analyzed so we can st + ast transformation at once
Added truthiness literals to our AST
Created a method to return the type of a var in our ST
Added exception and handling for type errors
Type checked functions that needed it