Support extended for-clauses in for/fold/match
Support extended for-clauses in forf
Improve definitions of forf and forl