Implement signed operators (/$) and (%$) in reference interpreter.
Implement signed operators (/$) and (%$) in reference interpreter.

This partially addresses ticket #469.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol