Patch for the subtype theoryof mode to make the equalities over disequal types get sent to the theory of the type.
Adding a new test case for bug 569.
Fixes to the normal form of arithmetic so that real terms are before integer terms.
Fix submission script (again).
Merge pull request #28 from kbansal/sets

Sets translator, bug fixes
sets translator: fix for dags