Add a small mathematical model and definitions on top of schedule trees

It's a work in progress!