Syntactic sugar for types

Within the lengthy thread on this topic are some comments discussing precisely this point, so I think we should avoid rehashing things. I also have no energy left for this topic (having given up long ago)

@andrey2185 At the end of the day, the nice thing about Julia is that you can just overload | in your config/startup.jl file to use this syntax in your REPL. And if wanting to use it in a package you can just depend on InfixUnions.jl.