AbdExp: only offer expl hyps that don't conflict with accepted hyps, and removed :RequireAllChildren param