Add an example of a defining a type with for expressions support

If your type defines the methods:

* map
* flatMap
* withFilter
* foreach

then it can support the full range of for expressions. This class C is a
typical example of those methods and what their likely type signatures
would be.