Add checks for Flink union when exact types are required.

[fhueske]

If two or more pipes with different tuple schemas (i.e., field types) should be unioned, we have to ensure that the type information of all pipes is identical. This should be done by comparing the types of all fields and unifying them either by adding missing types or removing existing types.

Alternatively we can throw a meaningful exception.