separate non-symbol-table-type-resolution and write tests for it
add symbol table lookup