Remove trailing whitespace :-(
Remove redundant type witnesses
Simplify t_insertWith_present and t_insertWith_missing
Corrected excessively lazy benchmarks.
Corrected delete/view min/max functions.

They had been leaving Empty internal nodes in the tree.
Corrected updateExtremity-based functions.

They had been leaving Empty internal nodes in the tree.