ruff

a72af10c - [ty] Add `ModuleName::top`

[ty] Add `ModuleName::top` The invariants established by the constructors for `ModuleName` guarantee that this is always available. It's useful for determining the "top level" module for where a symbol lives.