feature/sections (#22)

* Made cooking soup recursive.

* Added anaphoric var fillers.

* Number and bind anaphora.

* Builtin index -> HashMap

* Ugly refactor...

- to hide binding type in error
- allow cooking underneath binders

* Prepare to move metadata pass into desugar stage

* Tests for desugar-time target detection.

* Moved to TranslationUnits target handling in main

Currently abstractStaticBlock is broken though.

* Implemented rebody to better handle evaluand

* Tidies and options

* Soup now cooked in fixity pass.

* Tests for fixity distribution

Author: gmorpheme

lib/prelude.eu

@@ -46,7 +46,7 @@ panic: __PANIC
 trace: TODO(__TRACE)
 
 ` { doc: "`assert(c, s, v)` - if `c` is true then value `v` otherwise error with message `s`."
-    example: { foo: bar assert(bar >= 0, "negative foo") }
+    # example: { foo: bar assert(bar >= 0, "negative foo") }
     export: :suppress }
 assert(c, s, v): if(c, v, panic(s))
 
@@ -79,7 +79,7 @@ if: __IF
 ##
 
 ` { doc: "`cons(h, t)` - construct new list by prepending item `h` to list `t`."
-    example: cons(0,[1,2]) //=> [0,1,2]
+    # example: cons(0,[1,2]) //=> [0,1,2]
     export: :suppress }
 cons: __CONS
 
@@ -422,8 +422,8 @@ nil?(l): l = []
 
 ` { doc: "`take(n, l)` - return as list the initial segment of integer `n` elements from list `l`."
     export: :suppress }
-take(n, l): __IF((n zero?), [], cons(l head, take(n dec, l tail)))
-
+take(n, l): __IF(n zero?, [], cons(l head, take(n dec, l tail)))
+ 
 ` { doc: "`drop(n, l)` - return as list the result of dropping the initial segment of integer `n` elements from list `l`."
     export: :suppress }
 drop(n, l): __IF((n zero?), l, drop(n dec, l tail))

package.yaml

@@ -35,6 +35,7 @@ library:
     - optparse-applicative
     - megaparsec
     - monad-loops
+    - mtl
     - parsec
     - parsec-numeric
     - path
@@ -49,6 +50,8 @@ library:
     - text
     - transformers
     - unix
+    - unordered-containers
+    - vector
     - yaml
 
 executables:
@@ -82,6 +85,7 @@ tests:
     - megaparsec
     - hspec-megaparsec
     - pretty
+    - mtl
     - network-uri
     - text
     - bound