feat: substitute type parameters when computing type of inherited members

[lars-reimann]

Closes #863

Summary of Changes

We now also substitute type parameters when computing the type for inherited members in a member access. Example:

class C<T> {
    attr member: T
}

class D sub C<Int>

segment mySegment(p: D) {
    val a = p.member;
}

a now get the correct type Int (previously it was T).

[github-actions]

🦙 MegaLinter status: ✅ SUCCESS

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ REPOSITORY	git_diff	yes		no	0.08s
✅ TYPESCRIPT	eslint	1	0	0	3.85s
✅ TYPESCRIPT	prettier	1	0	0	0.78s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (5780ed7) 100.00% compared to head (b907073) 100.00%.

Additional details and impacted files

@@            Coverage Diff            @@
##              main      #864   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files           91        91           
  Lines        15653     15659    +6     
  Branches      3169      3171    +2     
=========================================
+ Hits         15653     15659    +6     

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