Use constructors/extractors everywhere (except solvers).
Eliminate any Tuples with <2 elements from Leon.
Deprecate rewriteTuples.
Rewrite FiniteLambda. Not necessarily better, just clearer.