Move n-Queens problem into separate module.
Add solve1.
Factor out constraints by name.
PatternGuards enabled by default now.