FEATURES ======== TODO ==== #00001 (tree.h) -> consider adding new timestamps to IsoTreeNode FIXME =====