comparison, instead of two.
* optimization: enable more modular arithmetic transforms in the presence of
conditionals.
+ * optimization: bitwise OR forms can now trigger modular arithmetic as well,
+ when the result is known to be negative.
* bug fix: problems with NCONC type derivation (reported by Jerry James).
* bug fix: EXPT type derivation no longer constructs bogus floating-point
types. (reported by Vsevolod Dyomkin)