Build a leftist tree from a list
Builds a leftist tree from a list of elements. This is accomplished by right-folding the INSERT-LT function over the list, starting with *EMPTY-LT*.
