Add: a few minor improvements to tasklet scheduling;
Add: preliminary support for timeout in channel communication.