cleanup some Resolver specs, framework for TypeChecker specs
Resolver#resolve returns the resolved Ast