Implementation of High-Level JSON Schema Change Operations Using JUpdate