Fixing the fixpoint operator to correspond to Pierce's.