\newcommand{\numexp}[1]{#1}
\newcommand{\varexp}[1]{#1}
\newcommand{\plusexp}[2]{#1\mathcd{+}#2}
\newcommand{\timesexp}[2]{#1\mathcd{*}#2}
\newcommand{\parenexp}[1]{\cdparens{#1}}
\newcommand{\letbeexp}[3]{\mathcd{let}\,#1\,\mathcd{be}\,#2\,\mathcd{in}\,#3}

\newcommand{\foterm}[2]{{#1}({#2})}
\newcommand{\hoterm}[2]{\foterm{#1}{#2}}
\newcommand{\AST}[2]{\foterm{#1}{#2}}

\newcommand{\varast}[1]{\AST{\mathcd{var}}{#1}}
\newcommand{\numast}[1]{\AST{\mathcd{num}}{#1}}
\newcommand{\plusast}[2]{\AST{\mathcd{plus}}{#1,#2}}
\newcommand{\timesast}[2]{\AST{\mathcd{times}}{#1,#2}}
\newcommand{\letbeast}[3]{\AST{\mathcd{let}}{#1,#2,#3}}

\newcommand{\Arity}[1]{[#1]}
\newcommand{\Abstract}[2]{{#1}{.}{#2}}

\newcommand{\letbehoast}[2]{\AST{\mathcd{let}}{#1,#2}}

\renewcommand{\FV}[1]{\mathrm{FV}(#1)}
\newcommand{\OV}[1]{\mathrm{OV}(#1)}
\newcommand{\FL}[1]{\mathrm{FL}(#1)}

\newcommand{\dbindex}[1]{\AST{\mathcd{idx}}{#1}}

\newcommand{\IsVar}[1]{{#1}\ \mathsf{var}}
\newcommand{\IsDig}[1]{{#1}\ \mathsf{digit}}
\newcommand{\IsNum}[1]{{#1}\ \mathsf{number}}
%\newcommand{\IsPrimOp}[1]{{#1}\ \mathsf{op}}
\newcommand{\IsProg}[1]{{#1}\ \mathsf{prog}}
\newcommand{\IsExp}[1]{{#1}\ \mathsf{expr}}
\newcommand{\IsExpr}[1]{\IsExp{#1}}
%\newcommand{\IsType}[1]{{#1}\ \mathsf{type}}
%\newcommand{\IsDec}[1]{{#1}\ \mathsf{dec}}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
