\newcommand{\DSL}{JSTQL }
\newcommand{\exProp}{\textbf{optional let to int for declaring numerical literal variables}}
\newcommand{\discardBindings}{Discard Bindings}