Fix in the type checker: variable uses in multi-variable sub-patterns of
set and list patterns.