Don't bundle children for non-parent Avails

We used to bundle all children of the parent Avail with things that aren't the parent, e.g. with

class C a where
  type T a
  meth :: ..

we would bundle the whole Avail (C, T, meth) with all of C, T and meth, instead of only with C.