Fleshed out the C++ spec a bit