make the semantics STRING_SORT the tyvars to determine argument order
finish new_basic_type_definition_1_correct