Fix Enum instance for SMTExpr Integer
Fix abs function for SMTExpr Integer
Add support for remainder SMT function