Revert "Make `mapset_elem_of` Opaque."
Passed
Robbert Krebbers
created pipeline for commit
cb1daa49
, finished
For master
9 minutes 53 seconds, queued for 3 seconds