Amenity keys

Permanent, language-neutral amenity keys. Keys are never renamed; retired ones are marked. Map your own vocabulary to these keys.