json5 type