Move to sml-monads-state-cps.{sig,sml}
Update benchmark