adding Variance
parsing variance
Types for Variance Info
handling Variance Info
handling Variance Info
moving around linspace
adding the test
another test
removing class parameter from RType
more tests
more tests
Update README.md
minor
Merge branch 'invariants' of https://github.com/ucsd-progsys/liquidhaskell into invariant
adding contra0 positive test too
Merge pull request #268 from ucsd-progsys/invariants

Variance Information -- add explicit variance annotations for imported datatypes (e.g. `IORef`).