add public modifiers to imports in Json.idr