Overload variables class for better typing experience#1919

jonathanslenders merged 7 commits intoprompt-toolkit:masterprompt-toolkit/python-prompt-toolkit:masterfrom

tchalupnik:Overload-Variables-class-for-better-typing-experiencetchalupnik/python-prompt-toolkit:Overload-Variables-class-for-better-typing-experienceCopy head branch name to clipboard