Initial implementation, sans Hilbert logic, timing, deferred splitting, overlapping calculations, etc..
(Insertion child)-picking
Typeclass constraints
Added tests
Hilbert value implementation
Split the `Euclidean` typeclass into `HasMBR` and `HasHvalue`. Way cleaner.