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