FiniteMap with to type + fixes in ProgramEncoder

src/main/scala/inox/Main.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/ProgramEncoder.scala

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

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

src/main/scala/inox/solvers/smtlib/CVC4Target.scala

src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala

src/main/scala/inox/solvers/smtlib/Z3Target.scala

src/main/scala/inox/solvers/z3/AbstractZ3Solver.scala

src/main/scala/inox/tip/Parser.scala