Constraint Handling Rules with Comprehensions