fix: Better resolve, compile & verify operator decorators

[MaxGraey]

• Fix #2484
• Disallow static modifier for indexed sets and gets
• Return type of overloaded logical operators limited to bool type only
• Return type of overloaded indexed set operators limited to void type only
• Static operators should have at least one instance type in parameters

TODO:

• [ ] Verify single-only operator per method

• [x] I've read the contributing guidelines
• [x] I've added my name and email to the NOTICE file