Algorithms should be free from rich types

[bachmeier]

On Wednesday, 28 June 2023 at 08:00:23 UTC, FeepingCreature wrote:

> I like this approach:
>
> ```
> class C {
>     private int i;
> }
> ...
> void main() @system {
>     auto c = new C;
>     c.private.i = 5;
> }
> ```

This would be a good change to the language.