Valuation of expressions