Add a small mathematical model around schedule trees

* motivate the approach
* formalize the concept of schedule tree
* formalize some transformations