A deserialization language on top of JSON Schema