> However I ran into two things that have no formal tags:

You can use https://wiki.openstreetmap.org/wiki/Any_tags_you_like on OpenStreetMap. Many of the used tags are simply "in use" and not formalized with a proposal.