Currently when you create a type alias it’s (AFAICT) purely syntactic sugar for the most part useful in reducing the amount of typing around generics.
What would be nice is a way to create a fully fledged type as an alias for some existing type. For example, I have a custom GUID with some standard factory methods but I want to have an OrderID, ProductID, etc. to al be GUIDs without needing to replicate all the code and without needing to effectively create a composite or other workaround.
Right now I can use type alias but nothing therefore stops me from interchanging the different aliases.