Preliminary/experimental support for polymorphic container values (i.e. container having values of subtypes of declared container type).