Turn two listings into separate examples, and add short introductions

chapters/statements.tex

@@ -207,6 +207,7 @@ \subsubsection{Implicit Iteration Ranges}\label{implicit-iteration-ranges}
 The \lstinline!IDENT! may also be used as a subscript for an array in a component of an expandable connector but it is only seen as a reference to the variable \lstinline!IDENT! and cannot be used for deducing ranges.
 
 \begin{example}
+Implicit iterator ranges for an \lstinline!Integer! subscript:
 \begin{lstlisting}[language=modelica]
   Real x[4];
   Real xsquared[:] = {x[i] * x[i] for i};
@@ -222,9 +223,14 @@ \subsubsection{Implicit Iteration Ranges}\label{implicit-iteration-ranges}
     xsquared3[i] := x[i]^2;
   end for;
 \end{lstlisting}
+\end{example}
 
+\begin{example}
+An array dimension's type of subscript does not matter for array compatibility, only the size of the array dimension matters.
+This is true also for array constructor expressions with implicit iterator ranges:
 \begin{lstlisting}[language=modelica]
 type FourEnums = enumeration(one, two, three, four);
+Real x[4];
 Real xe[FourEnums] = x;
 Real xsquared3[FourEnums] = {xe[i] * xe[i] for i};
 Real xsquared4[FourEnums] = {xe[i] * xe[i] for i in FourEnums};