What about "A type declaration creates a new, named, type which can be mixed in expressions with either a value of the same named type, or an unnamed type with the same underlying representation. "
What do you think @mdempsky ?

EDIT: Better wording.

Joining this conversation from #14152. I rewrote it as:

"A type determines the set of values and operations specific to values of that type. Each declared type has an underlying type that goes back to the basic types discussed earlier.

Let's define a type that is also a struct, which is made up of multiple fields."

No matter the wording, I'm a fan of 2-3 sentences here. Types turning into types sounds like a Dr Seuss riddle at first. Smaller, simpler sentences help break that down.

@broady This is a dupe of golang/tour#121

@zombiezen Is it?, golang/tour#121, was reported almost a year after this issue, but I agree that the repo where it is reported is probably better suited for this, if that's what you mean.

CL https://golang.org/cl/36314 mentions this issue.