Improvement: Sort function returns a list of int instead of list of $$E

[CervEdin]

The sort function currently returns a list of int instead of list of $$E
https://docs.minizinc.dev/en/stable/lib-globals-sort.html#mzn-ref-globals-sort-sort

so this fails

enum E = e(1..2);
array[int] of E: X = sort([e(2), e(1)]);

example

I'd suggest it be improved so that it returns $$E instead of int