common subexpression elimination for fixpoint types - View it on GitHub