towards reifying set constraints
reified set type constraint
// {log} tests for doc