new funs: hasTrafo and hasRequires and some defensive checks for OptPath::extra.par.set