Add descriptions to for: syntax classes.

Closes PR 13284.
Don't let map introduce type variables.

Closes PR 13581.
Fix expected type when typechecking map