Fully implement AbstractTrees

[balping]

A bunch of convenience functions provided by AbstractTrees became available by implementing some of their traits.

For efficient traversal, an additional index_within_parent field has been added to nodes, just as it is the case for the C library.