JavaScript with syntax for types, providing type safety and better tooling