Reachability bug fixes. Tokens propagate and age in allocation sites,

and the example programs produce results that are almost correct.  One
thing to note is that token propagation through many allocation sites
in a loop doesn't work properly, where the same field-by-field construction of
a single complex object does propagate the tokens.