In Penknife, accounted for the fact that updating the effect token is a side effect itself. Also, decided that some tokens (namely, effect tokens) will be comparable only by impure code.