More work on Ukkonen's algorithm.