And can only a file facade class contain type alia...

# compiler

[Marc Knaup]

And can only a file facade class contain type aliases?

[udalov]

Right now yes, but we'll likely relax that in the future and allow to declare type aliases in classes too. But the metadata format supports both today already