Fix backward completion bugs, add invariant #3, and renumber to #1–#15#2097

curtisman merged 4 commits intomicrosoft:mainmicrosoft/TypeAgent:mainfrom

curtisman:cleancurtisman/TypeAgent:cleanCopy head branch name to clipboard