A typed-based thingy for Scratch