more expr typing