Revisit the type inference algorithm#1

Victorystick merged 3 commits intomainVictorystick/scrapscript:mainfrom

inferVictorystick/scrapscript:inferCopy head branch name to clipboard