Fixed refinement types for haskell cite. Added MC via GammaCFA cite.