type results exporter

[fidoriel]

this PR makes work for #2001 easier

[fidoriel]

typechecker fails => this is fixed in #2064

[richardebeling]

thanks :)

[niklasmohrin]

This seems to be running into the same stuff that is solved in #2091 now, I would say we wait until that is done?

[niklasmohrin]

Please make sure to also review your code yourself before requesting the a review, you yourself are most familiar with the code and can sort out low hanging fruit most quickly

.

[niklasmohrin]

Apart from the open discussions, this looks good to me :)

[niklasmohrin]

I unresolved some comments that still seem unanswered to me, could you give a quick response to them?

[niklasmohrin]

Almost there :) Please remember to perform self-reviews, it's usually worth it (that is also my experience with code I write myself)

[niklasmohrin]

Perfection!

[richardebeling]

Thanks. There's still some minor issues left (T should probably be ModelT, degrees vs degree_ids, course_types vs course_types_ids, a -> None is missing, I think one : list[bool] annotation is superfluous), but I think we can already merge this.