Add: demo/macros.dao
Fix: a minor reference counting bug for deferred blocks;
Fix: a few minor type handling bugs for type specialization, AFC, and closure;
Fix: a bug in handling call stack involving deferred blocks.