Add end-user documentation on the CIF switch expression

I am currently helping someone on the correct usage of the CIF switch expression. Unfortunately, there is no end-user documentation available on how to use the switch expression in CIF. For example, it might be unclear (and counterintuitive) that if the switch key is an automaton, it's case values are the locations.