Succinctness of Languages for Judgment Aggregation