runvisitor -> tablebuilder, gen : typechecker