- Inserted additional check for equality types in check_mode_clause that
avoids ill-typed code to be generated.
- Mode inference algorithm now outputs additional diagnostic messages.
recdef gcd "measure (%(m,n).n)"
simpset "simpset() addsimps [mod_less_divisor]"
"gcd (m, n) = (if n=0 then m else gcd(n, m mod n))"