Put iff_self on the "simp only nothing" list #1933
Description
Could iff_self be added to the list of simpOnlyBuiltins? This is a request arising from a mathlib port discussion. It seems like this would bring Lean 4 simp closer to the behaviour of Lean 3 simp.