A type-safe, consistent, compiled language for JS