Not really, I’d love to make a typed-elixir style system, I just don’t have time, at all… ^.^;
I entirely agree! A full and proper type system is not just for static type checking but for lots of other reasons as well, like code disambiguation, code generation based on types, etc… etc…
Typescript is… not really a great example of a type system, it’s awfully verbose. 
