Relative scoping for hierarchical ADT arguments

[hepin1989]

https://contributors.scala-lang.org/t/proposal-for-multi-level-enums/3344/26

refs to this one.