Data.Map.Base is safe with termination turned on too.

Really need to sort out the transformRecExpr issue so we can make Base
less hacky
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell