Improved control over non-Sendable types in isolated contexts

Have you looked at [Accepted] SE-0420: Inheritance of actor isolation?

It seems to somewhat address the problem. The issue being it is quite verbose.