Refine reification a little
Revert to defrecord for State, to keep equality
Tweak docs
Split out sequence goals
Simplify unifier and update docs
Update tests
Add sequence protocol