Drop `is_locked` entirely

I've just realized that `is_locked = true` is the same thing as `goal = -1`. #3012