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`. Th