\def\EVar#1{\mbox{\bf #1}}
\def\BVar#1{\mbox{\it #1}}
\def\Const#1{\mbox{\rm #1}}
\def\Skonst#1{\mbox{\bf #1}}
\def\Def#1{\mbox{\rm #1}}
\def\FVar#1{\mbox{\bf #1}}

\def\Type{\mbox{\rm type}}
\def\Kind{\mbox{\rm kind}}
