Continued introduction to the union type, based on the example 'lookup-result':
syntax of `cond`
questions about the particular "question"-expressions used
*what is the "template", and steps 1,2,3a of design recipe?*
a note about sentinel values, and another quick (non-sentinel-ish) example of a union type
why the term "union", exactly?