I actually find the language simple and easy to learn: It's just untyped lambda calculus with dicts and lists.
(I, too, would like static types though.)