Add a discrimination tree

  This should make organizing the domain and the world facts a bit easier, and
enable constraints on actions, which will help to guide the search.