The problem then is editor support. When a language has only one (or two, in javascript's case) static type systems, editors can cover those. But you're not going to get support from the IDE you actually use for your bespoke type macro. (But emacs! yes, I know, but many in the Clojure world for example use IDEA.)