First implementation.

* Effect handler infrastructure.
* State effect