refactoring of SymbolicType working
more things to ignore