Add documentation to annot, chc, and pretty modules

[coord-e]

No description provided.

[Copilot]

Pull Request Overview

This PR adds comprehensive documentation to the annot, chc, and pretty modules by introducing module-level and type-level documentation comments.

• Added module-level documentation for all modules explaining their purpose and functionality
• Added documentation comments for key structs, enums, and functions describing their roles
• Enhanced code readability by documenting complex types like wrapper structs for SMT-LIB2 formatting

Reviewed Changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
src/pretty.rs	Added module documentation and documented wrapper types for pretty-printing
src/chc/unbox.rs	Added module documentation explaining the Box optimization and documented the main function
src/chc/solver.rs	Added module documentation and documented configuration structs for CHC solvers
src/chc/smtlib2.rs	Added module documentation and documented wrapper structs for SMT-LIB2 formatting
src/chc/hoice.rs	Added module documentation explaining the Hoice workaround and documented the renamer
src/chc/format_context.rs	Added module documentation and documented the FormatContext struct
src/chc/debug.rs	Added module documentation explaining debug information attachment
src/chc/clause_builder.rs	Added module documentation and documented the ClauseBuilder and Var trait
src/chc.rs	Added documentation for core CHC types and data structures
src/annot.rs	Added module documentation and documented annotation parsing types

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}