Simple type system for call-by-value calculus with first-class continuations and environments