Re: this and the comments on the tests for `*T`. 

I think leaving `TyPtr` makes sense, can still pull in statics and methods on the current trait.