[jhc] darcs patch: remove old quadratic grin simplifier in ... (and 9 more)