Fix: a minor bug in handling empty expression list in the optimizer;
Fix: a minor bug in handling returned type in the inferencer.
Fix: a minor bug in checking and making a proper value object with default value for global variables.
Add: a few minor improvements to type matching;
Fix: a few pointer arithmetics for DVector;