- add sub_tree_size, parent, is_in_tree, is_out_tree
- fix height (was only working for out-trees)
- a predessors to Topology.t
- refactor a lot of strange things in the code
  - in the use of hashtbl in particular