add support for .r annotations option

What does this MR do?

This adds support for generating .r annotations. Also, a bug related to the default for the uniqueness typing optimization is fixed.

Changes to public APIs

Author's checklist (required)

• If bugs have been solved, tests have been added (guidelines)
• A changelog entry has been added (guidelines)
• Newly added code is documented (guidelines)
• Newly added code has a style consistent with the rest of the repository
• Intermediate commits compile (use git rebase -i main if not)

Related issues