get rid of bit length nonsense
refactoring of SymbolicType working
more things to ignore
casting from Bool to Int working
Finished refactoring
remove dependence on AST rewriting