Merge branch 'master' of github.com:SL2Team/sl2 into externdefs
Merge branch 'prelude' into externdefs
Merge branch 'master' into externdefs
EXTERN zu syntax hinzugefuegt. also: IMPORT EXTERN "blubb" und DEF EXTERN bla = "blubb" zum abbilden von funktionen auf js funktionen...
external defs syntax working...
changed characters that are used to represent special characters so that the generated names are "more intuitive". (e.g. $e$e for ==, $p for +, $d for / etc.
 * added basic support for loading imported modules (so that they can be used for checking and code generation)
 * added code generator effects for external definitions and imports.