Pervasive Multiple Values

TODO:

This is all about how you can use expressions yielding multiple values, especially in loops and conditionals.

Show how to do the equivalent of a filtered map.