Refine rejection of implicits occuring in other implicit parameters

The notion of implicit_level / flags got simplified, not sure what would
be the good design.