Prerequisites checklist

• I have read the contributing guidelines.

What is the purpose of this pull request?

I realized we could easily type check messageId in context.report() if we pass through the MessageIds type from RuleDefinition, so I did that.

What changes did you make? (Give an overview)

Enhancements to RuleContext and related types:

• Added MessageIds to RuleContextTypeOptions to support custom message identifiers.
• Simplified the RuleContext interface by using RuleContextTypeOptions directly.
• Updated the report method in RuleContext to include MessageIds in the ViolationReport type.
• Enhanced ViolationMessage and ViolationReport types to support custom MessageIds.
• Included MessageIds in the RuleDefinition context options.

Test updates:

• Added TestMessageIds type and included it in TestRuleContext to validate the changes in the test suite.

Related Issues

Is there anything you'd like reviewers to focus on?