What Ezno is A type checker for JavaScript usable through a CLI (with a LSP also in the works) A high level library that allows type checking to be added to other tools! Checks programs with guaranteed type safety (no runtime TypeErrors) (as long as definitions are sound) Types aimed at soundness and tracing for better static analysis A imperative type system that tracks and evaluates the side eff