Module dual.engine.arithmetic.subtract.

Rule subtract given x, y, produce:
  Return x minus y.