[Typing-sig] Re: Tensor type checking - updates