Revise Effect-mode for Lin

[jmid]

We should revise the preliminary Effect-mode for Lin to better match asynchronous code in Effect and Eio fibers. It would be cool if we could hook in to detect race conditions in asynchronous Effect code like fast-check for TypeScript: https://github.com/dubzzz/fast-check/blob/main/packages/fast-check/documentation/Tips.md#detect-race-conditions I'm unsure how to do so though...