Tablix timetabling model

I've written a formal description of the type of timetabling problems the new kernel is able to solve. This will be a part of the manual for the stable release of the 0.2.x branch.

I would be very happy if someone who is a better writter of mathematical texts than I am could comment on this.