Allow choice of binding category and renaming of bindings in specific categories (e.g., functions)

[dschrempf]

Allow user to control binding categories in a more fine-grained manner.

In particular, we will be able to select/deselect binding categories and rename
declarations within specific categories (e.g., functions).

We will have

type data Level = Types | Terms

data Choice (lvl :: Level) where
  ExcludeCategory     :: Choice lvl
  IncludeTypeCategory :: Choice Types
  IncludeTermCategory :: (Text -> Text) -> Choice Terms

Defaults

• TH and literate modes: useSafeCategory.
• preprocess mode: useAllCategories.

Remarks

• Command line configuration, see Command line options for specifying (ByCategory ByCategory.Choice) #1328
• The select function needs to be discussed. (E.g., what do we do with instances)?

EDIT: Updated to reflect most recent meeting with Edsko.