+ [ [{ "reduction and type synthesis" * }]
+ { "" "" "@" "" "" "@" "" "" "@" "@" }
+ { "*" "*" "-" "+" "*" "+" "*" "+" "*" "+" }
+ { "counted iterated type synthesis (terms)"
+ "full rt-computation (terms, items, lenvs)"
+ "decomposed rt-computation (terms) removed"
+ "r-computation (items)"
+ "mixerd rt-computation (terms)"
+ "counted type synthesis (terms) with δ,s,l,e"
+ "full rt-transition (terms, items, lenvs, referred lenvs)"
+ "r-transition (items)"
+ "mixed rt-transition (terms)"
+ "primitive generic rt transition (terms) with typed β, δ, (correct) ζ, θ, ε"
+ }
+ ]