+ * bug fix: interval-arithmetic division during type derivation did not
+ account for signed zeros.
+ * bug fix: compiler error when typechecking a call to a function with
+ non-constant keyword arguments.
+ * bug fix: misoptimization of TRUNCATE causing erratic behaviour.