Compile-time state machines in C++

I'm the author of the article. This came first as an attempt to enforce a protocol at compile-time, in C++.

Feel free to AMA!