scope/symbol/typetable things + throwing visitor