Typed language that compiles to Scratch .sb2