UpdateFromValueOrReason → UpdateDerived. Closes #5.
Introduce derived promise transform specification type.

This significantly clarifies the flow of derived promise updates through the system, and puts an end to the packing-and-unpacking between informal tuples and argument lists.

Closes #4.