semantic: Just return the ref on typeid, not an addrof.