feat: implement useWith

[TylorS]

This is a rough draft at providing useWith a function for using an effect to produce capabilities for the use in another effect. It also makes some adjustments to allow for using a recursive type to manage the intersections to produce cleaner output around the Intersect<A | unknown> which was not previously equal to A & unknown.

Sorry about all of the extra formatting noise my editor keeps inserting. Perhaps it'd be worthwhile to add eslint, prettier, etc?