

The current state of JastAdd\cite{jastadd}. Explain how composition is currently done (ant).
Show refinement and how it is done. 

Show how modules could help.

\subsection{Inter-type Declarations}

\subsection{Equations}

\subsection{Rewrites}