What's in a type alias

[Jasper-M]

@eyalroth

confusion between type aliases and type members, which are different but are mistaken as similar since they share the same keyword

But I don’t think they are different. Type alias is just a name for a “concrete” type member. We don’t have separate keywords or concepts for abstract vals or defs either.