Clarify that dart system libs have lower priority regardless how imported.

docs/language/dartLangSpec.tex

Index: docs/language/dartLangSpec.tex
===================================================================
--- docs/language/dartLangSpec.tex	(revision 34317)
+++ docs/language/dartLangSpec.tex	(working copy)
@@ -1908,12 +1908,14 @@
 \begin{itemize}
 \item A type parameter cannot be used to name a constructor in an instance creation expression (\ref{instanceCreation}).
 \item A type parameter cannot be used as a superclass or superinterface (\ref{superclasses}, \ref{superinterfaces}, \ref{interfaceSuperinterfaces}).
-\item A type parameter cannot be used as a generic.
+\item A type parameter cannot be used as a generic type.
 \end{itemize}
 
 The normative versions of these  are given in the appropriate sections of this specification. Some of these restrictions may be lifted in the future.
 }
 
+
+
 %A generic has a type parameter scope. The enclosing scope of a type parameter scope of a generic G  is the enclosing scope of G.
 
 
@@ -5031,9 +5033,12 @@
 
 \rationale{The greatly increases the chance that a member can be added to a library without breaking its importers.}
 
-If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the top level scope of $L$ by an import from a library whose URI begins with \code{dart:} and an import from a library whose URI does not begin with \code{dart:}:
+A {\em system library} is a library whose URI begins with \code{dart:}. Any other library is a {\em non-system library}. If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the top level scope of $L$ by 

[Johnni Winther, 2014/03/25 07:21:11]

I don't think "whose URI" is clearly defined. It probably means something like a
library "that can be imported/exported through a URI beginning with 'dart:'".

[gbracha, 2014/03/25 18:16:10]

I've reorganized this so it is  cleaner and somewhat more precise.

+imports of two libraries, $L_1$ and $L_2$, and the exported namespace of $L_1$ binds $N$ to a declaration originating in a system library:
+
+%an import of a  system library and an import of a non-system library:
 \begin{itemize}
-\item The import from \code{dart:} is implicitly extended by a \code{\HIDE{} $N$} clause.
+\item The import of $L_1$ is implicitly extended by a \code{\HIDE{} $N$} clause.
 \item A static warning is issued.
 \end{itemize}
 
@@ -5133,9 +5138,10 @@
 For each
 entry mapping key $k$ to declaration $d$ in $NS_n$ an entry mapping $k$ to $d$ is added to the exported namespace of $L$ unless a  top-level declaration with the name $k$ exists in $L$.  
 
-If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the exported namespace of $L$ by an export from a library whose URI begins with \code{dart:} and an export from a library whose URI does not begin with \code{dart:}:
+If a name $N$ is referenced by a library $L$ and $N$ would be introduced into the exported namespace of $L$ by exports of two libraries, $L_1$ and $L_2$, and the sported namespace of $L_1$ binds $N$ to a declaration originating in a system library:

[Johnni Winther, 2014/03/25 07:21:11]

'sported' -> 'exported'.

[gbracha, 2014/03/25 18:16:10]

fixed

+%an export of a system library and an export of a non-system library:
 \begin{itemize}
-\item The export from \code{dart:} is implicitly extended by a \code{\HIDE{} $N$} clause.
+\item The export of $L_1$ is implicitly extended by a \code{\HIDE{} $N$} clause.
 \item A static warning is issued.
 \end{itemize}