Core utility module
Parsing and lexing module
Runtime (elaboration + interpreter) module
Typechecking module
CLI module
Language server protocol module
