discontinued unused / untested distinction of separate PIDE modules;

tuned;

more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;

added Mailbox, as in ML;