A type system? No no no no. Why would you go after types? If you show people types, they'll ask "how expressive?" -- and it will never be enough. The lang that was the Java Script killer becomes another Elm. But if your lang has no types, you can say it's pre-types -- and it's a potential pure play.