core/adt: simplify duplicate NumKind and NumberKind consts
kind.go defined both NumKind and NumberKind as IntKind | FloatKind.
Previously, NumKind was widely used, and NumberKind was not.
But NumberKind is:
(a) the better name;
(b) is used in cue/types.go, where many of the other consts from
adt/kind.go are also repeated.
(c) matches with Number, as used in the CUE language spec.
Rename NumKind to NumberKind and remove duplicate definition.
Signed-off-by: Matthew Sackman <matthew@cue.works>
Change-Id: Iefc35d5326879de9c4c5c3e87b50c530e0be99ef
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1197440
Reviewed-by: Daniel Martí <mvdan@mvdan.cc>
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>