nuke Qualifier.hs
liquid-fixpoint builds. next, get liquidhaskell to build using it.