Eff: add partial Eff.Exception and Eff.State Verification
fix typo