work on new_basic_type_definition_1_correct

looks like the semantics will have to change to do STRING_SORT on the
type variables before pairing them up with the arguments... presumably
the implementation has to do the sort (though it is pretty arbitrary).