type_exp_list : type_exp_list , type_exp | type_exp
A type_exp_list is a comma-separated sequence of one or more type_exps.
