Add additional type hints for `synapse.push`.