rec2prop can now format jsonterm names