Merge pull request #14 from UCSD-PL/develop

Adding changes up to support for modules.
tweak .cabal file to build
adding flycheck mode for rsc
adding flycheck mode for rsc. Next: the button click for mouseover types.
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
Adding forin examples.
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