Add documentation to rty and some other modules

[coord-e]

No description provided.

[Copilot]

Pull Request Overview

This PR adds comprehensive documentation to the rty (refinement types) module and related analysis modules. The changes focus on providing module-level documentation, struct/trait documentation, and clarifying the purpose and usage of various components in the Thrust refinement type system.

• Adds detailed module-level documentation explaining refinement types, variable concepts, and core operations
• Documents key data structures including templates, function types, pointer types, and logical variables
• Provides documentation for analysis modules covering local definitions, crate analysis, and annotation parsing

Reviewed Changes

Copilot reviewed 12 out of 12 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
src/rty.rs	Extensive module documentation explaining refinement types, variables, and core operations
src/rty/template.rs	Documentation for template refinement types and builder patterns
src/rty/subtyping.rs	Documentation for subtyping constraint generation
src/rty/params.rs	Documentation for type parameters and substitutions
src/rty/clause_builder.rs	Documentation for CHC clause building helpers
src/refine/basic_block.rs	Documentation for basic block type handling
src/refine.rs	Module documentation for refinement typing logic
src/analyze/local_def.rs	Documentation for local definition analysis
src/analyze/did_cache.rs	Documentation for DefId caching functionality
src/analyze/crate_.rs	Documentation for crate-level analysis
src/analyze/annot.rs	Documentation for annotation parsing support
src/analyze.rs	Module documentation for MIR analysis and CHC generation

---

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