sort cases
sort cases

Sort on case-est before create enumerations for duplicate names.
This is required to ensure consistent naming of case-est tuples,
as otherwise which est gets what number if indeterminate.

flennerhag/mlens,flennerhag/mlens