Aux.Parent(..., List(List())) is now normalized to Aux.Parent(..., Nil)

We can't discern `extends C()` and `extends C` anyway, so it doesn't matter
much which of those representation we use for the time being.