Query facts for constraining variable domains
Big improvements!

  * Goal order no longer matters
  * The simple demo in Main.hs terminates almost immediately