more expr typing
lvalues and numeric literals