Symbol: valid_subexpr_type