Eff: add Eff.Fresh Verification