overwrite imported type sigs using assume

See [tests/pos/Overwrite.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/overwrite/tests/pos/Overwrite.hs) where the imported sig for `Prelude.reverse` is overwritten by the `assume`d specified one.