hypergoal/hypergoal_docs

Specification and other related docs