first draft of fixpoint operator