[rules-dev] [solver design] Listeners or bigger interfaces?