\section{Other cases}

The following issues need to be addressed.
\begin{itemize}
\item
handling scalars, which will then include scalars independent of
Forall indices and dependent of the indices.
\item
referencing to functions.
\end{itemize}
