Simplify `isEEffect` handling in Bind.
Add hasRead/Write and superstructure functions to effects.
Refine bind optimization to extend to read/write.