Annotate binders and support these annotations in tests
Resolution for patterns
Rebase tests
Make getBound support n+k patterns
Add support for record patterns
Add a test for patterns