#859 PLCgen: disallow 'switch' expressions on tuples and arrays as precondition

• Best to review per commit.
• I extended the expressions check to allow checking 'switch' expressions on different types. It is a bit different from other places we do it for specific types, as here I check recursively the type. I added CifTypeUtils.hasType for this.

Closes #859 (closed)