Use fully qualified names in fixpoint

This is crucial for being able to check modules that import datatypes with the same name as a locally defined type, e.g `Data.Text.Lazy.Internal.Text` vs `Data.Text.Internal.Text`. This should be merged in tandem with https://github.com/ucsd-progsys/liquidhaskell/pull/85.