\begin{code}
isLocallyDefinedName :: Name -> Bool
isUserExportedName :: Name -> Bool
-isLocalName :: Name -> Bool -- Not globala
+isLocalName :: Name -> Bool -- Not globals
isGlobalName :: Name -> Bool
isSystemName :: Name -> Bool
isExternallyVisibleName :: Name -> Bool