clarified order of extra type variables, following names more often than occurrences;