In that case: Potential holes because the permitted state transitions are scattered through function signatures and not described in a centralized place. You'r

In that case: Potential holes because the permitted state transitions are scattered through function signatures and not described in a centralized place. You're right macros could make this more pleasant. I still think it's quite unergonomic. But yes, I probably should have said "awkward and/or full of holes" instead of and