Add explanations and examples of how simple for expressions become foreach applications
Move for expression translations to their own example file
Add an example of map, flatMap and filter implemented in terms of for expressions

The potential to translate the higher-order functions into for
expressions exists in both directions.