The quest for a type-class collections basis.

Also misc attempt to workaround scalac bugs and get a NatList
which wouldn't finish last in a snail race.