Looks like an interesting language; the syntax looks very Rust-ish.
Is there any data showing that gradual typing is better for beginners than fully dynamic or fully static typing? Off hand I can think of many arguments against this and it’s a surprising find if true.