Bug(Parser): declarations can't be initiated with `plus`, `max` and `imax`
The following code fails:
» def foo.{u} := Sort u
✓
» def bar := foo.{max 1 2}
✗ ^------^
✗ expected number, variable, plus, max, or imaxThe following code fails:
» def foo.{u} := Sort u
✓
» def bar := foo.{max 1 2}
✗ ^------^
✗ expected number, variable, plus, max, or imax