Typed::Scala#vals should be ordered
Typed::Scala::Val should be inherited