- 'x'=
- shifts
- conditionnal ?:
- constant propagation for '+', '-' and [].
- verify function types