Adding DOM API section
Cleaning up warnings
Adding TAll in zipTypes.
Getting rid of scrapeQualifiers in Liquid
Merge branch 'develop' into d3
Adding contextual typing for setProp in TC
Contextual typing for setProp in LQ
Cleaning-up and fixing examples
Adding examples.
Prioritizing annotated vs ctx type @FuncExpr
Adding basic support and examples.

  - Not fully working.
Adding neg examples to variadic
Various fixes
Adding undefined to env and fixing `!==`.
Merge pull request #16 from UCSD-PL/contextual

Contextual
Merge pull request #18 from UCSD-PL/variadic

Variadic
Enforcing invariant on Type members

  - every binding occurs only once

  - mutliple bindings get concatenated into intersection types.
Merge branch 'variadic' into develop
Adding conflate in LQ + cleanup
Merge branch 'develop' into forin