Hmm, good point. Since it does no harm to change t when it is a local variable, I'd remove the restriction for that case.
I might even drop the restriction altogether, as it doesn't seem to have much useful purpose. I can break Arc just as badly by rebinding "car" or other variables, so why this particular effort to keep me from hurting myself?
