What is the expected behavior of type system merge for these cases?

[Marshall Schor]

1) Type Foo, feature Bar - range type FSArray whose element type is Baz
    Type Foo, feature Bar - range type FSArray whose element type is NotBaz
(Should throw an exception?)

2) Type Foo, feature Bar - range type FSArray, whose element type is Baz
    Type Foo, feature Bar - range type FSArray whose element type is 
Subtype_of_Baz

(Should be element Type = Subtype_of_Baz?)

3) Type Foo, feature Bar - range type FSArray with 
multipleReferencesAllowed = false
    Type Foo, feature Bar - range type FSArray with 
multipleReferencesAllowed = true

(Should throw an exception?)

-Marshall