A Generalization of Exceptions and Control in ML-like Languages