TODO: is this too much of a performance hit? JSON is quite simple, so I‘d think this wouldn‘t be too bad, but for large documents this could mean doing two full lexes.