Expose type constraints to the analysis and user

[notxvilka]

Your checklist for this pull request

• I've read the guidelines for contributing to this repository.
• I made sure to follow the project's coding style.
• I've documented every RZ_API function and struct this PR changes.
• I've added tests that prove my changes are effective (required for changes to RZ_API).
• I've updated the Rizin book with the relevant information (if needed).
• I've used AI tools to generate fully or partially these code changes and I'm sure the changes are not copyrighted by somebody else.

Detailed description

We had type constraints in the code for years. But the ability to set and see them was limited and unimplemented. Consolidate the code and expose them for local afv and global agv variables - see new commands.
They also now picked up by the analysis.

Test plan

CI is green

Closing issues

Closes #315

[codecov]

Codecov Report

❌ Patch coverage is 65.93407% with 93 lines in your changes missing coverage. Please review.
✅ Project coverage is 49.29%. Comparing base (c9a372c) to head (f029dfd).
⚠️ Report is 5 commits behind head on dev.

Files with missing lines	Patch %	Lines
librz/core/cmd/cmd_analysis.c	62.60%	22 Missing and 21 partials ⚠️
librz/type/helpers.c	68.59%	17 Missing and 21 partials ⚠️
librz/core/cmd_descs/cmd_descs.c	50.00%	0 Missing and 6 partials ⚠️
librz/arch/var_global.c	50.00%	3 Missing and 1 partial ⚠️
librz/arch/var.c	66.66%	0 Missing and 2 partials ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
librz/core/analysis_tp.c	82.45% <100.00%> (+0.60%)	⬆️
librz/core/cconfig.c	80.28% <100.00%> (ø)
librz/include/rz_analysis.h	77.77% <ø> (ø)
librz/arch/var.c	78.65% <66.66%> (+0.41%)	⬆️
librz/arch/var_global.c	66.27% <50.00%> (+12.23%)	⬆️
librz/core/cmd_descs/cmd_descs.c	50.64% <50.00%> (-0.01%)	⬇️
librz/type/helpers.c	59.95% <68.59%> (+3.65%)	⬆️
librz/core/cmd/cmd_analysis.c	52.47% <62.60%> (+0.30%)	⬆️

... and 4 files with indirect coverage changes

---

Continue to review full report in Codecov by Harness.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 17aaa7c...f029dfd. Read the comment docs.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.