Add: a few minor improvements to the handling of "invar" types with type holder types;
Fix: a minor bug in handling empty containers due to the introduction of "invar" types;
Fix: a minor parsing bug related to field declaration in interface;
Fix: a few minor documentation bugs.