? on defs and id exprs. Logical op priority fixes. Function types.