Procedure to remove duplicate elements from a list. The returned list will be sorted.

[RS] You don't even need a procedure for this, because that's exactly what ''[lsort] -unique'' does:
 interp alias {} lrmdups {} lsort -unique