Hierarchical Search and Angelic Search need to be implemented.

This would first require representing chapter 11 HLA plans in the code (done in #422). Once this is merged, I will start working on the other algorithms from chapter 11 (unless someone else has finished them already, in which case please let me know).