Better names in inox ADT support

...cala/inox/solvers/unrolling/InductiveUnrollingSuite.scala

...t/scala/inox/solvers/unrolling/SimpleUnrollingSuite.scala

src/main/scala/inox/Program.scala

src/main/scala/inox/ast/Constructors.scala

src/main/scala/inox/ast/DSL.scala

src/main/scala/inox/ast/Definitions.scala

src/main/scala/inox/ast/Expressions.scala

src/main/scala/inox/ast/Extractors.scala

src/main/scala/inox/ast/Printers.scala

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

src/main/scala/inox/ast/TypeOps.scala

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

src/main/scala/inox/datagen/SolverDataGen.scala

src/main/scala/inox/evaluators/RecursiveEvaluator.scala

src/main/scala/inox/grammars/BaseGrammars.scala

src/main/scala/inox/grammars/Tags.scala

src/main/scala/inox/grammars/ValueGrammars.scala

src/main/scala/inox/grammars/aspects/SimilarToAspects.scala

src/main/scala/inox/grammars/utils/Helpers.scala

src/main/scala/inox/package.scala