Introduce a new Type node, BoundNameAliasType, which describes a reference to a typealias that requires substitutions to produce the underlying type. This new type node is used both for references ...

Fix a number of small issues with BoundNameAliasType to bring it up to parity with NameAliasType, so the former will be able to replace the latter. This includes: Making BoundNameAliasTypes profil...