restrict \setof to mere propositions, close #228