Documentation into typeAnalysis

First thing to merge. If documentation is done, please merge into typeAnalysis, then delete documentation branch.