working on type theorems -- about to remove all 'accepts' within the nodes
removed all accept + resolveconceptualvisitor
more type theorem work