I defined streaming flow def FuelFlow with the constraint that the payload is of type "Fuel".

I defined a flow usage with FuelFlow type but with payload "water".

However, it doesn't seem to have any conflict or validation error popping out? I am wondering whether I did it wrong and how I can activate the validation to force the type check.

Also, do we still have the structure view and behavior view flow synchronization?