remove leftover unsat hack, add rules for Int->Float coercion
example with variable on LHS and int->float mixing
example with variable on LHS and int->float mixing
adapt Babelsberg/Int to more complete semantics