Add: support for "invar" in type item list;
Add: a few minor changes to the concurrent methods;
Fix: a recent bug in handling stack frames;