Worked on fixing up SiblingDisjointColletion to reason correctly. Also
implemented rewriteOf to instantly rewrite/remove edges to disfavoured
concepts. Be sure to note the load order of the modules (RewriteOfModule
should be the first edge-related module).