Mention possibility of using initial equation for non-fixed parameter

chapters/classes.tex

@@ -283,6 +283,8 @@ \subsection{Acyclic Bindings of Constants and Parameters}\label{acyclic-bindings
 
 \begin{nonnormative}
 There is no exception for parameters with \lstinline!fixed = false!, despite the fact that such parameters are generally allowed to be initialized from systems of dependent equations.
+% Saying "binding equation" below even though it's called a "declaration equation", for consistency with the normative paragraph above.
+However, a parameter with \lstinline!fixed = false! can use an initial equation instead of a binding equation, allowing for cyclic dependencies.
 \end{nonnormative}
 
 \begin{example}