Two-level patterns
These patterns first appeared in [wich2] but have been extended substantially.
v54