moving ≣-relevant to Categories.Support.Experimental
Categories.Support.Experimental