3.1.2 UQOTOM的自由泛化：在可以执行变量操作的系统中