Tree with ordering invariant and insert.
Remove old data type.
Rewrite comparison.
Finished delete.