State union should fail on Argument normalization conflict.

[proofit404]

class A1State(State):
    v1 = Argument(is_integer)

class A2State(State):
    v1 = Argument(is_float)

NewState = A1State & A2State

The v1 argument in the NewState would fail on assignment. It can't be integer and float at the same time.

Checks:

• conflict (error message shows between which states it happen & normalized values which are not equal)
• in composition of thee layers