JSON typing tools