Corrections from current version of spec

Author: eernstg

specification/dartLangSpec.tex

@@ -16314,8 +16314,9 @@ \subsection{Conditional}
 \LMHash{}%
 It is a compile-time error if
 the static type of $e_1$ may not be assigned to \code{bool}.
-The static type of $c$ is the least upper bound (\ref{leastUpperBounds}) of
-the static type of $e_2$ and the static type of $e_3$.
+The static type of $c$ is the least upper bound
+(\ref{standardUpperBoundsAndStandardLowerBounds})
+of the static type of $e_2$ and the static type of $e_3$.
 
 
 \subsection{If-null Expressions}
@@ -16340,8 +16341,9 @@ \subsection{If-null Expressions}
 and then $e$ evaluates to $r$.
 
 \LMHash{}%
-The static type of $e$ is the least upper bound (\ref{leastUpperBounds}) of
-the static type of $e_1$ and the static type of $e_2$.
+The static type of $e$ is the least upper bound
+(\ref{standardUpperBoundsAndStandardLowerBounds})
+of the static type of $e_1$ and the static type of $e_2$.
 
 
 \subsection{Logical Boolean Expressions}
@@ -21790,6 +21792,9 @@ \subsection{Subtypes}
   Intersection types are \emph{not} supported in general,
   only in this special case.%
 }
+Every other form of type may occur during static analysis
+as well as during execution,
+and the subtype relationship is always determined in the same way.
 
 % Subtype Rule Numbering
 \newcommand{\SrnReflexivity}{1}
@@ -24535,7 +24540,7 @@ \subsection{Function Types}
 A function object is always an instance of some class $C$ that implements
 the class \FUNCTION{} (\ref{functionType}),
 and which has a method named \CALL,
-whose header is such that its function type is $C$ itself.
+whose signature is the function type $C$ itself.
 \commentary{%
   Consequently, all function types are subtypes of \FUNCTION{}
   (\ref{subtypes}).%