Revert some unnecessary changes

src/main/scala/inox/ast/SymbolOps.scala

src/main/scala/inox/ast/Types.scala

src/main/scala/inox/solvers/unrolling/LambdaTemplates.scala

...cala/inox/solvers/unrolling/QuantificationTemplates.scala

src/main/scala/inox/tip/Printer.scala