Added showFix to imports from Language.Fixpoint.Types in
Liquid.hs. The project does not compile without it.
Merge pull request #41 from HaskellElephant/master

Fixed imports in Liquid.hs