In Penknife, stopped restricting imperative effects, since the linear-use effect tokens were overkill and the evaluation model is almost hopelessly imperative already. All the effects that were securable that way are still securable as first-class capabilities.
In Penknife, validated the output of `to-unqualified-name`.