Activate the OverloadedOperatorHandler.java for Sequence datatype

[wadoon]

Intended Change

Activate the operator overloading handler for the Sequence datatype.

@mattulbrich The last change is from you on the particular line.

Type of pull request

• X Bug fix (non-breaking change which fixes an issue)
• not really New feature (non-breaking change which adds functionality)
• X There are changes to the (Java) code

Ensuring quality

• X I have tested the feature as follows: Test file

  class SeqTest {
  /*@ ensures \seq(1,2,3) == \seq(1) + \seq(2,3);*/
  void foo() {}
  }

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (974a10f) 37.72% compared to head (83f0581) 37.77%. Report is 10 commits behind head on main.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #3398 +/- ## ============================================ + Coverage 37.72% 37.77% +0.04% - Complexity 17018 17030 +12 ============================================ Files 2076 2076 Lines 126944 126950 +6 Branches 21379 21381 +2 ============================================ + Hits 47893 47951 +58 + Misses 73154 73092 -62 - Partials 5897 5907 +10 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[mattulbrich]

I was probably too much a coward to activate that at the time. I also activated the LocSet bit, but had to repair the translation.

[mattulbrich]

And I added test cases btw.