spec: use "core type" rather than "structural type"
spec: use "core type" rather than "structural type"

This change in terminology prevents potential confusion
that migth be caused by associating "structural type"
with "structural typing"; the two are not connected.

Also, adjusted introductory paragraph of section on
constraint type inference: type inference goes in both
directions, from type parameter to core type and vice
versa. The previous description was not quite accurate.

Change-Id: If4ca300f525eea660f68486302619aa6ad5dbc2c
Reviewed-on: https://go-review.googlesource.com/c/go/+/384238
Trust: Robert Griesemer <a6752097faebf1f02d80107d77a9be009089afe3@golang.org>
Reviewed-by: Ian Lance Taylor <87e9c6d529889242b7e184afb632328636553ab4@golang.org>

cloudflare/go,golang/go,CAFxX/go,CAFxX/go,cloudflare/go,CAFxX/go,cloudflare/go,nawawi/go,nawawi/go,CAFxX/go,golang/go,cloudflare/go,golang/go,golang/go,cloudflare/go,nawawi/go,CAFxX/go,nawawi/go,nawawi/go,golang/go,golang/go,nawawi/go,nawawi/go,cloudflare/go,CAFxX/go,cloudflare/go,CAFxX/go,golang/go,golang/go,CAFxX/go,cloudflare/go,nawawi/go