Add ability to mkConst(TupleSelect) and friends in language bindings
Fix declare-fun/define-fun in dumps; resolves bugs 408 and 385; also fix a segfault in smt2 printer
Fix bugs/issues with missed-t-prop dump output
Permit setOption(decision-mode)
Fix lambda handling in CVC parser
Fix FLOOR and DISTINCT in CVC language parser.
Fix datatypes for bug 503