introducing runtype in JSON