add -t red
All/Ex([var], -> All/Ex([list],
rational exp
multi statements (-t syn)