The element function accesses an element of an ordered set by index.
(define element
(function sol
((a sordered)
(i integer))
(if (fundamental? a)
(vector-ref (cadr a) i)
#f)))