Fix various typos and add an appdenix motivating the restriction
to exactly one lifetime.