[a]

(a)(b)

a:s(a)

a +

+

a < b

__<__(a,b)

__*__

([a], (a)(b), a +, __<__(a,b))

[[a], (a)(b), a +, __<__(a,b)]

a when a + b else b

a when (op a:b) else b

a when (var a:b) else b

a when f else b

a when (f) else b

a when ((f)) else b

a when (op a:b)(a) else b

A[a]

B[a]

A[a]A[a]p

A[a]!

[[[a]]]

[b, A[a]]

b + [a] + b

[a+b]

A([a])

- [a]

b + A[a]

[a]! %[combining [__] with __! is allowed without parenthesis]%

[A[a] + b]

[b + A[a]]

[A[a], A[a]]

A[a] + b