A typed JSON library for C++