add TyConInfo
add tests with conttavariant ps
add covariant info for Ps
use covariant info in splitC
more tests
Merge pull request #26 from ucsd-progsys/contravariance

Contravariance: Please add those comments to the relevant places. In general learn how the haddock thing works, and add comments for the key top-level functions...Thanks!