Clarify that `has-edges?` would otherwise return false
Add `has-child?` method to the RootedTree protocol
Describe the entries of the implementation maps