Fixed: Anomaly of :tacn:`simpl` on partially applied named mutual fixpoints (#18243, fixes #18239, by Hugo Herbelin). Changed: :tacn:`simpl` tries to reduce named mutual fixpoints also when they return functions (#18243, by Hugo Herbelin).