wip. visitor-like transformer generation for ast/adt trees. type
resolution underway