Cries in removal of abstract types (e.g. `val x: A#T = ...`).

While Scala 3 filled a soundness hole, it opened a practical crater (and no, path dependent types are not a viable substitute).

Too bad, many nice improvements overall.