added the bidirectional  implication as a quick fix for now to fragment
-> bundle dependencies

also,

split the importers part of the constraints to have one entry per
importer for each function so allow for a cleaner analysis in the
tautology checker, bu getting to know which exact importer implying some
set of plugins was not a tautology (better debugging).