let
e_lshift = binop
TERM
.
I_lsl