Add Petersson/Synek indexed container fixpoint