Minor fix: Queens (redesign diagonal constraint if possible)

Is it correct?
Can I make it better looking?

Not 100% certain on that last one. Two thoughts:

1. I think two constraints are needed.
2. The same arithmetic has to be expressed somehow.

I think we may be closing rapidly in on minimizing the ugly here.