-import Id ( Id, idName, idType, mkUserLocal, idCoreRules,
- idInlinePragma, setInlinePragma, setIdUnfolding,
- isLocalId )
+import Id ( Id, idName, idType, mkUserLocal, idCoreRules, idUnfolding,
+ idInlineActivation, setInlineActivation, setIdUnfolding,
+ isLocalId, isDataConWorkId, idArity, setIdArity )