Compile dow([...]) into a constraint

Timing dow(friday) against dow([friday]) showed the latter to be 5
times slower.  By compiling a list of days of the week into a standard
clpfd domain, the clpfd solving tools can optimize their behavior.
Using normal attributed variables, clpfd has to try a bunch of
solutions which end up failing unexpectedly (in its view).