Add: support for assigning invar-declared invar class instance to var-declared variables;
Add: improvements to the handling of casting from invar types to ordinary types;
Add: a few minor improvements and fixings.