Add: a minor fix/improvement for type matching of named variable/parameter;
Fix: a minor bug in compiling defer blocks;
Add: enforcing no return value from defer blocks.