Fixpoint operators for domain equations