I think there is a tension between the power of the type system which anyone in userland can use, and wanting to make things easy for the everyday programmer.

I think there is a tension between the power of the type system which anyone in userland can use, and wanting to make things easy for the everyday programmer. What might help is a complete standard library framework akin to what C# provides out of the box that everyone agrees to use unless there is good reason not to. Also allow imperative syntax.