Lift restrictions on patterns

[gsingh93]

You can lift the restrictions on what patterns can be used in function arguments by creating a closure instead of an inner function. See my trace project for an example.

[nrc]

This is fixed now. I tried using a closure, but couldn't get it to work (iirc because of issues with the Self type. although perhaps I just wasn't trying hard enough). I managed to fix it with some awful hacks using loop.