Added semantic analysis for set comprehension
Added type checking for set comprehension