Added typing for fixpoint operator