Using Standard Typing Algorithms Incrementally