Generalize `gset_to_propset` to any `SemiSet`

The following discussion from !45 (merged) should be addressed:

• @dfrumin started a discussion: (+1 comment)

  This can be formulated for any SemiSet, but I guess such generality is not really needed?

added 1 deleted label

closed via commit 809e0d1d

added C-enhancement label