The type copilot-core:Copilot.Core.Expr.Tag is not used

[ivanperez-keera]

The type synonym copilot-core:Copilot.Core.Expr.Tag is not being used anywhere in the code of copilot or the examples.

Searching for it in the project shows only two occurrences of the same word beyond its own definition and export in the module: one as part of a string, and the other as part of a comment:

$ grep -nHre '\<Tag\>' --include='*.hs'
copilot-core/src/Copilot/Core/Expr.hs:15:  , Tag
copilot-core/src/Copilot/Core/Expr.hs:42:type Tag = Int
copilot-theorem/src/Copilot/Theorem/Kind2/Output.hs:41:           _ -> err $ "Tag for property " ++ prop ++ " not found"
copilot-theorem/src/Copilot/Theorem/Misc/Error.hs:15: -- | Tag used with error messages to help users locate the component that

It should be deprecated and removed in future versions.