\newcommand{\DSL}{DSL NAME HERE?}
\newcommand{\exProp}{\textbf{optional let to int for declaring numerical literal variables}}