introduce a 'catchesExit' primitive, document "exit signals", export API