Forgot to branch and started work on diff-is-more-than operators -- sorry this commit breaks RA.  Will fix soon.