Какой это тип? Есть ли тип, указывающий на ячейку памяти?

Тип, хранящий адрес значения в Go, — указатель *T. Для конкретного выражения нужен исходный код: по одной фразе определить его тип нельзя.

Адрес доступной для адресации переменной получают через &x, значение по указателю — через *p. Nil означает отсутствие указуемого значения и не допускает разыменования. Указатель имеет тип цели, поэтому *int и *string не взаимозаменяемы обычным присваиванием.