The type of a regular expression of sequences of elements of type sort.
sort
ReSort reSort(Sort sort) => ReSort(sort).declare();