It's good to see gradual typing rising! 2 things are not obvious from the article: 1. Why a new language, and not just a gradual typing tool for PHP (like Typ

It's good to see gradual typing rising! 2 things are not obvious from the article: 1. Why a new language, and not just a gradual typing tool for PHP (like Typed Racket and Typed Clojure)? 2. Is type information somehow passed to runtime to assist JIT compilation?