Full-range subtypes permitted for all types
Previously, full-range subtypes were only permitted for scalar, constrained array and record (sub)types. This restriction has now been removed.