Having folly means access to dynamics, which could replace our use of ptrees. They are cumbersome to use, and fairly slow :(