lib(timeout_simple)

   This library prvides the same predicates as lib(timeout),
	with the following differences:
	1. timeouts can abort certain long-running built-in predicates,
	   like looping unifications.
	2. timeout predicates cannot be nested.
	3. it uses timer events directly, and thus cannot be used together
	   with after-events.
	

