Suggest Integer instead of Int for Lift and Typeable

plutus-tx/src/PlutusTx/Lift/Instances.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE DataKinds             #-}
 {-# LANGUAGE DefaultSignatures     #-}
 {-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
@@ -22,6 +23,8 @@ import           PlutusIR.MkPir
 import qualified Data.ByteString     as BS
 import           Data.Proxy
 
+import           GHC.TypeLits        (ErrorMessage (..), TypeError)
+
 -- Derived instances
 
 -- This instance ensures that we can apply typeable type constructors to typeable arguments and get a typeable
@@ -61,6 +64,14 @@ liftBuiltin
     => a -> RTCompile uni fun (Term TyName Name uni fun ())
 liftBuiltin = pure . mkConstant ()
 
+instance (TypeError ('Text "Int is not supported, use Integer instead"))
+    => Typeable uni Int where
+    typeRep = Prelude.error "unsupported"
+
+instance (TypeError ('Text "Int is not supported, use Integer instead"))
+    => Lift uni Int where
+    lift = Prelude.error "unsupported"
+
 instance uni `PLC.Includes` Integer => Typeable uni Integer where
     typeRep = typeRepBuiltin