pyB can now solve set compreh. like {x| x:Nat x=42}
added second test
added new constraint feature. empty set generated if no solution found