State: export state, simplify other defs
Make State a newtype
Fix and enable Exception