Module dual.engine.comparison.equals.

Rule same given x, y, produce:
  Return x equals to y.