use argument indexing
move section "Declarative Integer Arithmetic" closer to the beginning

This is one of the most essential benefits of CLP(FD) for beginners
and must be mentioned prominently.
reword description of expansion and move it into the pertaining section