Binding patterns with sub-patterns

[marijnh]

Implement x@{y, _} to mean 'bind x to the whole record, y to the content of field y'. Any pattern can be prefixed with var@ to bind the whole thing.