refactor new subsumption implementation

I extracted parts of the signature subsumption implementation that can
be used for the corresponding multi variant (in Data.Comp.Multi.Ops).
implement new subsumption for multi sublibrary

I implemented the subsumption for the multi sublibrary similarly to the
implementation of the main library.