0. Introduce arc-consistency and mention other levels of consistency

1. Intro to choco ... look at problems already modelled in mzn such as
   crystal maze and knapsack

2. Show effects of propagation in choco, with bound and enumerated variables
   and also show OR disjunction (to be coded!)

3. Also code up an instance with the summation constraint