expr_value::expr_value(value & v): expr_cell(expr_kind::Value, v.hash(), false), m_val(v) { m_val.inc_ref(); }