Merge pull request #540 from yilongli/unified-builtins2

fixing all lessons (except lesson_3) in tutorial/4_imp++/
fixed a bug when matching concrete size variable against BuiltinList which actually represents a ListUpdate operation
Merge pull request #617 from yilongli/fixing-issue#616

Fixing issue#616