Fix in the interpreter: let dynamic types of container values be
inferred from dynamic types of their elements in contrast to the
declared types.

- it affects pattern matching.
Retionals do support now addition with collection values.