Add missing comment
Rename eql as eq to be more consistent with axiom

* Also this will provide a nicer symmetry to the planned "ne"
  operation.