commit and pr

Let's commit the changes. Run tests, typechecks, and format checks. Then commit, push, and create a pull request.