Update documentation to match current codebase

[alcides]

Summary

• Fix typos (=> → >=, True → true, z > > → z > 0)
• Remove outdated float-specific operators section (operators are now polymorphic)
• Add 9 missing libraries to the libraries list
• Add all CLI flags to the command-line options table
• Replace polymorphism placeholder with actual documentation (parametric + refinement polymorphism)
• Document all 14 synthesis decorators (optimization, data-driven, and synthesis control)
• Document selective import syntax (import f from "file.ae")
• Document where as alternative to | in refined types
• Align installation instructions with README (uvx instead of pipx)

Test plan

• All 230 tests pass
• Pre-commit hooks pass
• Review documentation examples for accuracy

🤖 Generated with Claude Code