Relax restriction on .modify call after .from in ModuleDef DSL, allow widening implementation type. Apply .namedByImpl after modifications, not before

[neko-kai]

No description provided.

[neko-kai]

Hmm, has implications on losing integration checks after .modify. Maybe after #1658 ?

Hmm, can't ordinary .modify also lose integration checks? (it can't after #2255)

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 66.63%. Comparing base (a8cfd4b) to head (9648c97).
Report is 1 commits behind head on develop.

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #2221   +/-   ##
========================================
  Coverage    66.63%   66.63%           
========================================
  Files          594      594           
  Lines        11679    11679           
  Branches      1317     1399   +82     
========================================
  Hits          7782     7782           
  Misses        3897     3897           

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.