Variable naming about transforge HOT 1 CLOSED

>>> cct.parse("apply (fcont avg field) regions").primitive()
R2(Reg, Ratio)
 ├─R1(Reg) ** R2(Reg, Ratio)
 │  ├─╼ apply : (Reg ** Ratio) ** R1(Reg) ** R2(Reg, Ratio)
 │  └─λx₁. ... : Reg ** Ratio
 │     └─Ratio
 │        ├─╼ avg : R2(Val, Ratio) ** Ratio
 │        └─R2(Loc, Ratio)
 │           ├─R1(τ₁) ** R2(Loc, Ratio) | τ₁ >= Loc | R2(Loc, Ratio) @ [R2(τ₁, _), R2(_, τ₁)]
 │           │  ├─╼ subset : R2(Loc, Ratio) ** R1(τ₁) ** R2(Loc, Ratio) | τ₁ >= Loc | R2(Loc, Ratio) @ [R2(τ₁, _), R2(_, τ₁)]
 │           │  └─╼ field : R2(Loc, Ratio)
 │           └─R1(Loc)
 │              ├─╼ deify : Reg ** R1(Loc)
 │              └─╼ x₁ : Reg
 └─╼ regions : R1(Reg)