default rdtree implementation
Exercise 3.10: initial layout
Data Heap add test invariants
Use tests and bugfix
add balance tests
Use correct specifications and tests
Exercise 3.3: fix according to api change
Exercise 3.4: add tests and fixes
use binomial heaps