Implement `Ctrl+Shift+P` for patterns

[sxhya]

This feature should support the following cases: Patterns in elimination blocks, case expressions, let expressions and lambda expressions.

[knisht]

Please consider implementing this feature via tracer, not via corresponded subexpr. Tracer provides much better results.