I found your post, and some recent tests using type aliases, so I think those are supported now.
Protocol compositions are also supported in that test, but not in all positions, or with existentials.
(There's a nice example of "literate programming" by @codafi.)