The following remains to be defined in `univalent-combinatorics.unlabeled-rooted-trees`: - [ ] Unlabeled rooted trees