drafts

<FrederickHirsch> question on: modifications to the pattern facet of a type definition for which the
value-space of the previous definition remains valid or for which the value-space of the preponderance of instance would remain valid