This adds tensor comprehension to SaC and replaces the old set notation. The code generation has been completely overhauled.
