added set comprehension
added a test for set comprehension
o added a function related axiom to link apply to the representation of
functions
o changed the encoding of lambdas from arrays of arrays to array-valued
functions
added some annotation in the proof obligation dump