extended parser spec for qualified names...
Merge branch 'master' of github.com:SL2Team/sl2
qualified types without parens now allowed in data declarations. for real.
tried to repair the checking of imported dataypeconstructors in data type definitions
renamed ResolvedNamedImport to ResolvedModuleImport
* fixed definition of removeFirst in list
* fixed DT check for imported qualified/unqualified typeconstructors in type definitions
* completed boxsort example
* duplicate declaration of unqualified imported constructor and type names (eg DATA Bool = X or DATA Heinz = True) is now prohibited.
* provided some location information for some of the imported constructs. (so in case of a name clash the src signature can be referenced)
 * fixed/added the overriding of unqualified impored functions by definitions of functions.
   (it was already allowed accidently but lead to wrong js being generated..)
 * prohibited the appearance of EXTERN DEF without FUN.
 * some changes to existing modules
 * tried to reactivate koch example. (koch2 does not lead to any output? :/ )
added pair and real to libs. (not really tested yet)
the real module is interesting as it overrides the operators from prelude.
fixed another bug with shadowed names and extended real.sl
* various attempts to fix the wrong negatives in the tests with overridden names. (without success :( )
tried to add LAZY-values by library (not really successful), made koch.sl screensaverlike, added timer to achieve this.
Merge remote-tracking branch 'origin/master' into importcheck