it would even simplify tagging for signals in countries where different heights at the same pole are permitted
It also allows to simplify initial mapping of signal - you don't need to know exact type of signal in order to add its height to OSM (for example, if you've seen it from backward only).
If all of these 4 signals are identical, i.e. a every combination of lights on any of them has the same meaning on all others
That's right, all of them (and today I've seen the 5th variant YXY-XWR - https://ibb.co/0hCwZL5 ) are intermediate/exit signals with the same meaning of any state.