Type Alias AppliedCompounds 

pub type AppliedCompounds = [Term; 2];

多值输出：寻找「归一替换」的中间结果 ! ❌【2024-07-09 21:14:17】暂且不复刻unifyApplied：自成体系但不完整，需要结合applyUnifyToNew等「函数式方法」