Package management, deep dependent type tracking, LSP type holes, incremental compilation, cross-module protocol dispatch, testing infrastructure, and Elixir interop.
Effect system tracking IO/state/exceptions in the type system, documentation generator with `cure doc`, minimal REPL, source formatter, and expanded error catalog.