block argument pattern-matching should be less wasteful

[vito]

currently it leans on Assign semantics due to laziness; it should probably have semantics closer to methods. that way we can know the patterns ahead of time, which will make splat handling cleaner.