Fix: a minor bug in type checking for tuples.
Add: a few minor improvements.
Revert: the minor changes on the tasklets;
Fix: two bugs in the "for-in" support for map types.