Add NQueens functioning example.

It would be nice to add something like allDifferent(range)(Expression[Int]) as an "intermediate" variable. but with Specified domain it does work

Closes #2 (closed)