Tokens no longer contain an identifier string
Documented Witness.hs
Documented Effect/Union.hs
Added stateReader, stateWriter