Remove polymorphics_arg, it's just a type_name list. Update the comments.