Update typing.h