kindcase($k$; $a$.$f$($a$); $l$,$t$.$g$($l$;$t$) ) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if islocal($k$)$\rightarrow$ $f$(act($k$)) else $g$(lnk($k$);tag($k$)) fi