Implement ObjectTree typeclass
Instance Tree as foldable
Instance LabeledTree as an ObjectCollection
Reimplement ID system and Object Tree