Comment.
Slightly optimize `halves'.
Use map-subseq in extrema.
Don't check lengths.
Occurs-if should return the matching leaf.