c: contex-sensitive for terms
f: context-freee for closures
l: sn contex-sensitive for local environments
r: dx contex-sensitive for local environments
t: context-free for terms
c: contex-sensitive for terms
f: context-freee for closures
l: sn contex-sensitive for local environments
r: dx contex-sensitive for local environments
t: context-free for terms