いくつか疑問点

121, 126行目 : maxargとは？
137-144行目 : maxpsiarg はここでしか出てこないけど、H[ψ_0(Ψ)](n) の定義に必要なの？
82, 280, 445 行目 : ψ_α(β) のαの方はαが正則であれば変更不要ということ？
493 行目 : Ω_α(β) のαの方はαが正則であればそのままで良いということ？
706 行目 : ψ(α,β,γ) のα, β はα, βが正則であればそのままで良いということ？
131, 198, 327, 587行目 : 131行目のcardは引数の濃度、198行目のcard_s, 327行目のcard, 587行目のcardは引数の共終数の濃度を表わす？
784行目 : subst_arg1 はsubst の後継？
796行目 : subst_arg2 はsubst_typeの後継？
2変数ψの極限ΨをψとΩで表わすとどうなる？
ψとΩの極限Ψを3変数ψで表すとどうなる？