Attribute values are validated if they are instances of the attribute's data type. This is wrong if the datatype is a union.
Fixed in [1727]. Also modified STD_list so that mutations are validated.
Fixed in [1727]. Also modified STD_list so that mutations are validated.