updated interface of subsumption index, to allow lookups with
less specific a type than CLAUSE.t;
position builder to efficiently append at the end of positions;
updates in Cnf (returning list of terms rather than the or-term)