Update schedule_tree spec to reflect recent discussions

* Add the gemver code transformation
* Add a note concerning the canonic tree