Type annotator#120

chkl wants to merge 5 commits intomasterPractical-Formal-Methods/adiff:masterfrom

type-annotatorPractical-Formal-Methods/adiff:type-annotatorCopy head branch name to clipboard