Due to the re-introduction of 'a set as proper type constructor, change 4c629115e3ab in src/HOL/Tools/Meson/meson.ML makes unfold_set_const_simps vacuous. A brief inspection suggests that the corresponding "unfold_set_consts" configuration option is now also obsolete. Makarius