Several Control Switch Types

Hello, I could use some help with defining these switch types in IFC -

From CFIHOS classification -

Parent Class Equipment Class Class Definition
control switch proximity switch A position switch that is operated without mechanical contact with the moving part.
control switch position switch A pilot switch the actuating system of which is operated by a moving part of a machine, when this part reaches a predetermined position.
control switch vibration switch A switch intended to give an on/off signal when vibration level has reached a pre-set value.

http://ifc43-docs.standards.buildingsmart.org/IFC/RELEASE/IFC4x3/HTML/lexical/IfcSwitchingDeviceTypeEnum.htm

Looking at the types of switches listed, it seems like the switch type for the above control switches is falling under user defined?

Would that be the right mapping for those, or is there another approach to take?