Finish basic implementations of State, Domain, and StateCollection.  Still unnecessarily complicated.