more spec tweaks
Change-Id: Ib5ccab3bbfc59d11715896763bb19970997778f3
diff --git a/doc/ref/spec.md b/doc/ref/spec.md
index 10f4a73..577282e 100644
--- a/doc/ref/spec.md
+++ b/doc/ref/spec.md
@@ -297,7 +297,7 @@
octal_lit = "0" octal_digit { [ "_" ] octal_digit } .
binary_lit = "0b" binary_digit { binary_digit } .
hex_lit = "0" ( "x" | "X" ) hex_digit { [ "_" ] hex_digit } .
-multiplier = "k" | "Ki" | ( "M" | "G" | "T" | "P" | "E" | "Y" | "Z" ) [ "i" ]
+multiplier = ( "K" | "M" | "G" | "T" | "P" | "E" | "Y" | "Z" ) [ "i" ]
```
<!-- jba: why is "K" omitted? -->
@@ -578,8 +578,8 @@
CUE defines basic types and structs. The _basic types_ are null, bool,
int, float, string, and bytes.
-A _struct_ is a map from labels to a values, where the values may be of any
-type. <!-- jba: and what about the labels? -->
+A _struct_ is a map from labels to a values, where the labels must be strings and the
+values may be of any type.
Lists, provided by CUE as a convenience, are special cases of structs and
are not included in the definition of the type system.
@@ -612,9 +612,7 @@
An _atom_ is any value whose only instances are itself and bottom. Examples of
-atoms are `42`, `"hello"`, `true`, `null`.
-<!-- jba: so bottom is an atom? -->
-<!-- jba: I thought `42` could represent both int(42) and 42.0 -->
+atoms are `42.0`, `"hello"`, `true`, `null`.
A _type_ is any value which is only an instance of itself or top.
This includes `null`: the null value, `bool`: all possible boolean values,
diff --git a/doc/tutorial/basics/aliases.md b/doc/tutorial/basics/aliases.md
index 481294c..ef96dcf 100644
--- a/doc/tutorial/basics/aliases.md
+++ b/doc/tutorial/basics/aliases.md
@@ -8,8 +8,8 @@
A typical use case is to provide access to a shadowed field.
-Alias are not members of a struct. They can be referred to, but they do not
-appear in the output.
+Alias are not members of a struct. They can be referred to only within the
+struct, and they do not appear in the output.
<!-- CUE editor -->
```
