I think the opposite could be said. That the C++ implementation hides the simplicity of the blockchain in a language that lacks powerful abstractions and preven

I think the opposite could be said. That the C++ implementation hides the simplicity of the blockchain in a language that lacks powerful abstractions and prevents code reuse. If cofree seems like it isn't programming, that is only because this style of code helps avoid the need for it.