The sort of a set of elements of type domain.
domain
SetSort setSort(Sort domain) => SetSort(domain).declare();