This is a breaking change.

• Use rows instead of type constructors for read/write access types.
• Don't track the state and props types in the effects. This has proven tricky in cases with nested components in libraries like Thermite, and is unnecessary since the context tracks those types anyway.

I'll leave this here for comment for a few days before merging.