Provide user-friendly representation of SPPF: - [ ] Set of triples - [x] Lazy collection of trees - [ ] Lazy collection of paths (the path is a yield of the tree, so implement previous first)