A typed C-like language for Scratch