Both CLIF and pybind11clif aka pybind11k aka pywrapcc seem to be stopped. I thought these were pretty cool projects, I had been following what they did, and even have some of their stuff patched in my local python/c++ ffi code. Did the team just get shifted to something else?
I love nix and use it for my configs and builds at work, but it is definitely hard to get going compared to other tools. I appreciate what you did going through and making some good docs, bookmarked!
I worked on a state machine framework in another language, and have definitely have found less terse to be pretty good. Typing a few extra characters isn't that bad, especially if it makes some awful bit of evented code easier for someone to understand.