Added StateExplorer and its simple tests.

Also add some other imcomplete classes for late use.