SpecHelper#parse_and_resolve -> #resolve
cleanup some Resolver specs, framework for TypeChecker specs
Resolver#resolve returns the resolved Ast
type_check LitExps
WIP: type_check for VarExps
WIP: type_check VarExps
VarExp#type
Merge branch 'master' into type-checker
gut old type checking
type_check LitExp
use :string instead of :str for string type, add VarExp types (not yet FunCallExps, though)
make BinExp a module, add ArithmeticExp
type-check FunCallExps, (but not args yet), RelExps, and ArithmeticExps
type-check AssignmentExps
RelExps are of type :int
test AssignmentExp type-checking fully, do not allow assignment to arrays
reorganize type_checker_spec
reorganize type_checker_spec
type-check ConditionalStmts
type-check WriteStmt