Fixed ordering bug in desugaring of J type family
Better Input-to-string conversion
Fixed further J-ordering bugs