finite set comprehension is possible. much easier than intensional sets!

cc: @webyrd