Add type annotations to the Set library.