common subexpression elimination for fixpoint types