de Bruijn indexというのがあってだな
現在のスコープで最も内側で束縛された変数を 1 とする