Add Args instance for 6-tuple
Add 6-tuple instance for Unit class
Add Enum instance to SMTExpr Integer