Fix: a bug in handling tail call optimization;
Fix: a reference counting bug in the inferencer;
Fix: a minor bug in handling returned types;
Fix: a minor bug in setting up default value for array types;
Add: a minor improvement to the parsing of user types.