Hide other unmatchable patterns

Lambdas, in particular. Fixes #1671