\newcommand{\DSL}{JSTQL } \newcommand{\exProp}{\textbf{optional let to int for declaring numerical literal variables}} \newcommand{\discardBindings}{Discard Bindings } \newcommand{\DSLSH}{JSTQL-SH } \newcommand{\figFull}[1][missing]{Figure \ref{#1}} \newcommand{\fig}[1][missing]{\ref{#1}}