[WIP] Allow users to write "implicitly nested" types at the top level, like struct Outer.Inner {} which would be equivalent to extension Outer { struct Inner {} }