v0.4.0

Rewrote the core to eliminate the entire domain concept. Now any types that implement the Unify trait can be added to a state at any time. Apart from some minor renaming and shifting, the basic concepts have stayed largely the same. Most externally visible changes involve a bunch of simplified types.