Revert "Add semantic check to forbid to match on a pattern containing on...

...ly bound identifiers"

This reverts commit 4a3ee466bd97aa51e589a9c466dd31e46b9813ab.