Initial commit - Purely functional unqiue predecessor dictionary with sqrt(n log n) updates and log^2 n search.