H+ is kept in sync implicitly by Setup::AddClause().

That is more expensive than requiring the user to call
Setup::UpdateHPlus(Term::Factory) once, so we might return to the old
pattern. (Then, be careful not to do c.CollectNames() in
Setup::AddClause().)