[Draft] Make almost everything constexpr

This MR essentially just spammed the constexpr keyword until all the tests compiled. The compiler gave errors if a constexpr path through the function didn't exist.

I'm not sure of a good way to add tests for this. The status quo is to duplicate tests for the constexpr context, but duplicating every test (since this PR makes pretty much everything constexpr) doesn't seem maintainable.