fixed the incremental change loader which must always add axioms and
only then delete them. various other tweaks
some optimization to the acyclicity/reduction taxonomy validator