Added showFix to imports from Language.Fixpoint.Types in
Liquid.hs. The project does not compile without it.