Simpeler om te parsen
Con: wellicht kut met code generatie, wie weet.
---
+---
Functies en variabelen delen 1 namespace.
Dat is met het oog op hogere orde functies, dan kan een parameter voor een functie een andere
functie zijn, of een variabele en als die 2 aparte namespaces hebben is dat moeilijk onduidelijk /
-praktisch onmogelijke met type inteference
\ No newline at end of file
+praktisch onmogelijke met type inteference
+
+
+---
+Functies kunnen voor correct typechecken alleen functies gebruiken die DAARNA
+gedefinieerd zijn
\ No newline at end of file