Hunting for Tractable Languages for Judgment Aggregation