remove-axioms flatten its input now, to cope with the
occasional function (disjoint-classes) that return an item
rather than a list.