Hacking on some safe data structures in C++