tools/trim: fix package doc

Currently the doc for `tools/trim` at https://godoc.org/cuelang.org/go shows:

> light: ceiling50: { room: "MasterBedroom" brightnessOff: 0.0 // this line brightnessOn: 100.0 // and this line will be removed }

This is due to a couple of blank lines in the `tools/trim` package comment.

This PR fixes that, and a couple of typos.

Closes #387
https://github.com/cuelang/cue/pull/387

GitOrigin-RevId: 4943d4cbff641a3b308df15919154a71bf0ae59d
Change-Id: I1c4e42e656b94698670678ec26e49663220133cc
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6160
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
diff --git a/tools/trim/trim.go b/tools/trim/trim.go
index 25929c1..49c24a2 100644
--- a/tools/trim/trim.go
+++ b/tools/trim/trim.go
@@ -12,15 +12,13 @@
 // See the License for the specific language governing permissions and
 // limitations under the License.
 
-// Package trim removes defintiions that may be inferred from
+// Package trim removes definitions that may be inferred from
 // templates.
 //
-// trim removes fields from structs that can be inferred from constraints
-
 // A field, struct, or list is removed if it is implied by a constraint, such
-// as from an optional field maching a required field, a list type value,
+// as from an optional field matching a required field, a list type value,
 // a comprehension or any other implied content. It will modify the files in place.
-
+//
 // Limitations
 //
 // Removal is on a best effort basis. Some caveats:
@@ -29,7 +27,7 @@
 // - Disjunctions that contain structs in implied content cannot be used to
 //   remove fields.
 // - There is currently no verification step: manual verification is required.
-
+//
 // Examples:
 //
 // 	light: [string]: {
@@ -37,7 +35,7 @@
 // 		brightnessOff: *0.0 | >=0 & <=100.0
 // 		brightnessOn:  *100.0 | >=0 & <=100.0
 // 	}
-
+//
 // 	light: ceiling50: {
 // 		room:          "MasterBedroom"
 // 		brightnessOff: 0.0    // this line