enable to take expressions in constructor patterns

We want to parameterize pattern constructors with expressions. e.g.

```
{modBy 2} #0 & $x : _
```

This new syntax enables us to achieve some use cases of pattern-functions in compiled languages without compile-time evaluation.