C beginner here. I think you stated it well : "and a type"
The post you responded to on the contrary misses your point that in memory a pointer is a variable that stores both an address and type information to what it points to.
No, it does not. The compiler knows the pointer type so that it can generate correct assembly, but the pointer type is not something stored in memory past the compilation phase.
