Add type hints to push module.