combo: add documentation on how the type-tree is reduccing argument types.
combo: add documentation on how the type-tree is reduccing argument types.

prateeksaxena2809/opencog,rTreutlein/atomspace,ruiting/opencog,gavrieltal/opencog,tim777z/opencog,yantrabuddhi/atomspace,ArvinPan/atomspace,Allend575/opencog,yantrabuddhi/atomspace,Selameab/opencog,yantrabuddhi/opencog,printedheart/opencog,cosmoharrigan/opencog,inflector/atomspace,Allend575/opencog,eddiemonroe/opencog,TheNameIsNigel/opencog,yantrabuddhi/atomspace,Tiggels/opencog,jswiergo/atomspace,virneo/opencog,cosmoharrigan/opencog,rodsol/opencog,rohit12/atomspace,sumitsourabh/opencog,printedheart/atomspace,UIKit0/atomspace,rohit12/opencog,Selameab/opencog,williampma/atomspace,virneo/atomspace,zhaozengguang/opencog,andre-senna/opencog,gavrieltal/opencog,ceefour/atomspace,yantrabuddhi/opencog,printedheart/opencog,williampma/atomspace,AmeBel/atomspace,anitzkin/opencog,cosmoharrigan/opencog,zhaozengguang/opencog,sanuj/opencog,misgeatgit/opencog,yantrabuddhi/opencog,anitzkin/opencog,cosmoharrigan/opencog,Tiggels/opencog,ceefour/opencog,kim135797531/opencog,kim135797531/opencog,Allend575/opencog,virneo/atomspace,virneo/opencog,sumitsourabh/opencog,roselleebarle04/opencog,iAMr00t/opencog,ArvinPan/opencog,AmeBel/opencog,ceefour/opencog,ArvinPan/atomspace,Selameab/opencog,inflector/atomspace,AmeBel/atomspace,eddiemonroe/atomspace,shujingke/opencog,rohit12/opencog,kinoc/opencog,yantrabuddhi/opencog,eddiemonroe/atomspace,Allend575/opencog,kim135797531/opencog,Allend575/opencog,ruiting/opencog,Tiggels/opencog,tim777z/opencog,rodsol/atomspace,kim135797531/opencog,printedheart/opencog,UIKit0/atomspace,rodsol/opencog,kinoc/opencog,printedheart/atomspace,yantrabuddhi/atomspace,gaapt/opencog,ArvinPan/opencog,gaapt/opencog,iAMr00t/opencog,shujingke/opencog,ruiting/opencog,printedheart/atomspace,Tiggels/opencog,sanuj/opencog,inflector/opencog,prateeksaxena2809/opencog,yantrabuddhi/opencog,tim777z/opencog,Selameab/opencog,ArvinPan/opencog,AmeBel/opencog,kinoc/opencog,cosmoharrigan/opencog,gaapt/opencog,williampma/atomspace,ruiting/opencog,williampma/opencog,virneo/opencog,misgeatgit/opencog,AmeBel/atomspace,virneo/opencog,shujingke/opencog,ceefour/opencog,williampma/opencog,AmeBel/opencog,andre-senna/opencog,inflector/opencog,roselleebarle04/opencog,misgeatgit/atomspace,cosmoharrigan/atomspace,inflector/opencog,andre-senna/opencog,misgeatgit/opencog,eddiemonroe/atomspace,rohit12/opencog,UIKit0/atomspace,prateeksaxena2809/opencog,rohit12/opencog,jswiergo/atomspace,sumitsourabh/opencog,rTreutlein/atomspace,zhaozengguang/opencog,eddiemonroe/atomspace,iAMr00t/opencog,gavrieltal/opencog,misgeatgit/opencog,rodsol/opencog,ceefour/atomspace,UIKit0/atomspace,shujingke/opencog,misgeatgit/atomspace,rodsol/opencog,andre-senna/opencog,iAMr00t/opencog,jlegendary/opencog,inflector/opencog,MarcosPividori/atomspace,inflector/opencog,cosmoharrigan/atomspace,anitzkin/opencog,roselleebarle04/opencog,iAMr00t/opencog,virneo/atomspace,Tiggels/opencog,zhaozengguang/opencog,ArvinPan/opencog,MarcosPividori/atomspace,virneo/opencog,rTreutlein/atomspace,TheNameIsNigel/opencog,rohit12/atomspace,gaapt/opencog,inflector/atomspace,rodsol/opencog,ruiting/opencog,eddiemonroe/opencog,inflector/atomspace,misgeatgit/atomspace,rodsol/atomspace,misgeatgit/opencog,misgeatgit/opencog,ArvinPan/atomspace,AmeBel/opencog,eddiemonroe/opencog,rodsol/atomspace,ceefour/atomspace,sanuj/opencog,sanuj/opencog,rohit12/opencog,inflector/opencog,eddiemonroe/opencog,Allend575/opencog,eddiemonroe/opencog,andre-senna/opencog,gaapt/opencog,AmeBel/atomspace,virneo/atomspace,AmeBel/opencog,AmeBel/atomspace,williampma/opencog,Selameab/atomspace,sumitsourabh/opencog,rodsol/opencog,gavrieltal/opencog,TheNameIsNigel/opencog,ArvinPan/opencog,ruiting/opencog,roselleebarle04/opencog,MarcosPividori/atomspace,Selameab/atomspace,gavrieltal/opencog,rohit12/atomspace,TheNameIsNigel/opencog,williampma/opencog,jlegendary/opencog,Selameab/atomspace,andre-senna/opencog,inflector/atomspace,williampma/opencog,shujingke/opencog,rodsol/atomspace,jswiergo/atomspace,Selameab/opencog,jlegendary/opencog,sumitsourabh/opencog,gaapt/opencog,misgeatgit/opencog,iAMr00t/opencog,virneo/opencog,prateeksaxena2809/opencog,zhaozengguang/opencog,tim777z/opencog,tim777z/opencog,yantrabuddhi/opencog,andre-senna/opencog,TheNameIsNigel/opencog,inflector/opencog,Selameab/opencog,yantrabuddhi/opencog,yantrabuddhi/atomspace,ceefour/opencog,eddiemonroe/opencog,ceefour/opencog,MarcosPividori/atomspace,ruiting/opencog,kim135797531/opencog,Tiggels/opencog,misgeatgit/atomspace,prateeksaxena2809/opencog,anitzkin/opencog,rTreutlein/atomspace,cosmoharrigan/opencog,roselleebarle04/opencog,printedheart/opencog,rTreutlein/atomspace,shujingke/opencog,sumitsourabh/opencog,Selameab/atomspace,gavrieltal/opencog,cosmoharrigan/atomspace,printedheart/opencog,roselleebarle04/opencog,printedheart/opencog,jswiergo/atomspace,anitzkin/opencog,printedheart/atomspace,kim135797531/opencog,prateeksaxena2809/opencog,tim777z/opencog,roselleebarle04/opencog,kinoc/opencog,AmeBel/opencog,misgeatgit/opencog,zhaozengguang/opencog,anitzkin/opencog,jlegendary/opencog,ArvinPan/atomspace,sumitsourabh/opencog,virneo/opencog,ceefour/opencog,eddiemonroe/atomspace,ceefour/opencog,TheNameIsNigel/opencog,kinoc/opencog,Allend575/opencog,sanuj/opencog,misgeatgit/opencog,williampma/opencog,shujingke/opencog,ArvinPan/opencog,rohit12/opencog,kinoc/opencog,jlegendary/opencog,rohit12/atomspace,jlegendary/opencog,inflector/opencog,misgeatgit/atomspace,anitzkin/opencog,gaapt/opencog,eddiemonroe/opencog,kim135797531/opencog,AmeBel/opencog,prateeksaxena2809/opencog,gavrieltal/opencog,sanuj/opencog,ceefour/atomspace,kinoc/opencog,jlegendary/opencog,williampma/atomspace,cosmoharrigan/atomspace