Destructuring bind for list comprehension

o Introduces Binding and adds it to Extract and FilterFunction
o Updates the parser to accept [[k,v] in ...] syntax