set comprehension; configuration options for AlloyPrinter; expressions instead of types in Args