* Includes dev utility scripts for fmt and typecheck. * Includes a CI workflow which checks formatting, runs tests, and does typechecking.