Add: minor improvements to slicing with index or key pairs;
Fix: map slicing with key pairs;
Fix: a minor bug in handling 'var' and 'invar' for global variables;
Fix: a minor bug in type specialization with type holder arguments;
Add: a couple of minor improvements/fixings to type matching with variant types;
Add: a few more tests.