> the former is a proper superset of the latter Exactly. Just like static typing is a proper superset of dynamic typing. More generally, structured X is a prop

> the former is a proper superset of the latter Exactly. Just like static typing is a proper superset of dynamic typing. More generally, structured X is a proper superset of unstructured X.