Here's the paper I wrote: https://lambdaland.org/files/2024_ecoop_type_tailoring.pdf

Lots and lots of documentation, some experimentation, and asking people. :)