Better loops

[Thomas Gazagnaire]

We need:

• a better syntax to order collections (for instance sort(<var>), <index>))
• a syntax to filter collections (for instance for i in <var> | <predicate>)