Rename 'eql' to 'eq'.
Isomorphism from equality.