In Penknife, redesigned `top-level-definer-yoke` to be linear so we could have a linear value to blame for these side effects. Defined `unwrap` in the meantime, since it was needed for this redesign anyway.