(towards 2004) Move same_range functionality to ArrayMixin and other improvements

[sergisiso]

This is some work in preparation of merging the two implementations we have of ArrayRange2Loop in #2004, but it is big enough to be a standalone PR:

• It moves the same_range implementation outside the arrayrange transformation, because it seems this functionality is more generic.
• It allows psyir_from_expression/statement methods to work without a symbol_table argument, because it is convenient for tests where we do not care about the symbol declarations.
• It modernises method signatures using type hints
• Adds some xfail test to demonstrate cases when this functionality is still lacking

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (a8cd7b5) 99.85% compared to head (1bbf44b) 99.85%.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2465      +/-   ##
==========================================
- Coverage   99.85%   99.85%   -0.01%     
==========================================
  Files         352      352              
  Lines       47338    47334       -4     
==========================================
- Hits        47269    47265       -4     
  Misses         69       69              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[sergisiso]

This is now ready for review, one for @arporter or @hiker

[hiker]

Nice job - I like the type annotations :) I had a question about the implementation, and otherwise mostly style issues.

[sergisiso]

@hiker This is ready for next review

[hiker]

All good. Am waiting for CI to finish, then I'll merge it in

[hiker]

CI is green, good to go.