cue: fix misspells

Change-Id: I067e923857d30d01e674715f0988d396c071a37f
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6661
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
diff --git a/internal/core/eval/closed.go b/internal/core/eval/closed.go
index c909b43..fcfa52a 100644
--- a/internal/core/eval/closed.go
+++ b/internal/core/eval/closed.go
@@ -63,7 +63,7 @@
 //    }
 //
 // At the point of evaluating `a`, the struct is not yet closed. However,
-// descending into `d` will trigger the inclusion of defintions which in turn
+// descending into `d` will trigger the inclusion of definitions which in turn
 // causes the struct to be closed. At this point, it is important to know that
 // `b` originated from an embedding, as otherwise `e` may not be allowed.
 //
@@ -319,7 +319,7 @@
 	return false
 }
 
-// verifyDefintion reports whether f is a valid member for any of the fieldSets
+// verifyDefinition reports whether f is a valid member for any of the fieldSets
 // with the same closeID.
 func (n *acceptor) verifyDefinition(ctx *adt.OpContext, closeID uint32, f adt.Feature) (ok bool) {
 	for _, o := range n.fields {
diff --git a/internal/core/eval/eval.go b/internal/core/eval/eval.go
index 28fe99b..409eda3 100644
--- a/internal/core/eval/eval.go
+++ b/internal/core/eval/eval.go
@@ -1068,7 +1068,7 @@
 // addStruct collates the declarations of a struct.
 //
 // addStruct fulfills two additional pivotal functions:
-//   1) Implement vertex unification (this happends through De Bruijn indices
+//   1) Implement vertex unification (this happens through De Bruijn indices
 //      combined with proper set up of Environments).
 //   2) Implied closedness for definitions.
 //