PLCgen should disallow 'switch' expressions on tuples/arrays

Since the values of the 'switch' need to be compared to value of the case keys, this requires = on these types, which is not supported. So, add a precondition restriction on it.