\newcommand\val{\textit{value}}
\newcommand\name{\textit{name}}
\newcommand\choice{\textit{choice}}
\newcommand\state{\textit{state}}
\newcommand\fram{\textit{frame}}
\newcommand\spom{\textit{spom}}
\newcommand\wpom{\textit{wpom}}
\newcommand\wlp{\textit{wlp}}
\newcommand\slp{\textit{slp}}
\renewcommand\wp{\textit{wp}}
\renewcommand\sp{\textit{sp}}
\newcommand\trm{\textit{trm}}
\newcommand\outcome{\textit{outcome}}
\newcommand\set{\textit{set}}
\newcommand\bool{\textit{bool}}
\newcommand\nat{\textit{nat}}
\newcommand\aexp{\textit{exp}}
\newcommand\bexp{\textit{bexp}}
\newcommand\ext{\textit{ext}}
\newcommand\exts{\textit{exts}}
\newcommand\exto{\textit{exto}}
\newcommand\extos{\textit{extos}}
\newcommand\unit{\textit{unit}}
\newcommand\units{\textit{units}}
\newcommand\unito{\textit{unito}}
\newcommand\unitos{\textit{unitos}}
\newcommand\seq{\textit{seq}}
\newcommand\skp{\textit{skip}}
\newcommand\magic{\textit{magic}}
\newcommand\while{\textit{while}}
\newcommand\iif{\textit{if}}
\newcommand\then{\textit{then}}
\newcommand\eend{\textit{end}}
\newcommand\ddo{\textit{do}}
\newcommand\prd{\textit{prd}}
\newcommand\frm{\textit{frame}}
\newcommand\rep{\textit{rep}}
\newcommand\repall{\textit{repall}}
\newcommand\setvars{\textit{setvars}}
\newcommand\chst{\textit{chst}}

\newcommand\Term{\texttt{Term}}
\newcommand\NonTerm{\texttt{NonTerm}}