Various grammatical and minor fixes.

lib/Cool.pod

@@ -6,12 +6,12 @@
 
 C<Cool>, also known as the B<C>onvenient B<OO> B<L>oop, is a base class
 for strings, numbers and other built-in classes that you are supposed to use
-mostly interchangable.
+mostly interchangably.
 
 Methods in C<Cool> coerce the invocant to a more
 specific type, and then calls the same method on that type. For example both
 L<Int> and L<Str> inherit from C<Cool>, and calling method C<substr> on in
-C<Int> converts the integer to C<Str>.
+C<Int> converts the integer to C<Str> first.
 
     123.substr(1, 1);   # '2', same as 123.Str.substr(1, 1)
 

lib/Exception.pod

@@ -55,7 +55,7 @@ backtrace.
 
     method fail(Exception:D:)
 
-Same as C<fail $exception> (ie terminates the calling routine,
+Same as C<fail $exception>; i.e., it exits the calling C<Routine>
 and returns the exception wrapped in a L<Failure> object).
 
 =head2 gist

lib/Match.pod

@@ -6,10 +6,10 @@
 
 C<Match> objects are the result of a regex match. They store
 a reference to the original string (C<.orig>), positional and
-named captures, the start and end of the match in the original
-string, and a payload refered to as I<AST> (abstract syntax tree),
-which can be used to build data structures from complex regexes
-and gramamrs.
+named captures, the positions of the start and end of the match 
+in the original string, and a payload refered to as I<AST> 
+(abstract syntax tree), which can be used to build data structures 
+from complex regexes and gramamrs.
 
 Submatches are also C<Match> objects (or lists of C<Match> objects,
 if the corresponding regex was quantified), so each match object

lib/Mu.pod

@@ -5,7 +5,7 @@
     class Mu { ... }
 
 The root of the Perl 6 type hierarchy. For the origin of the name, see
-L<http://en.wikipedia.org/wiki/Mu_%28negative%29>. One can also says that
+L<http://en.wikipedia.org/wiki/Mu_%28negative%29>.  One can also say that
 there are many undefined values in Perl 6, and C<Mu> is the I<most undefined>
 value.
 
@@ -32,7 +32,7 @@ Returns C<False> on the type object, and C<True> otherwise
 
     multi method Str()   returns Str
 
-Returns a string representation of the invocant, inteded to be machine
+Returns a string representation of the invocant, intended to be machine
 readable.
 
 =head2 gist
@@ -51,7 +51,8 @@ but many built-in classes override it to something more specific.
     multi sub    perl(Mu) returns Str
     multi method perl()   returns Str
 
-Returns parsable string which generates current class.
+Returns a Perlish representation of the object (i.e., can usually
+be reparsed to regenerate the object).
 
 =head2 clone
 

lib/Pair.pod

@@ -29,7 +29,7 @@ Returns the I<value> part of the C<Pair>.
     multi sub infix:<cmp>(Pair:D, Pair:D)
 
 The type-agnostic comparator; compares two C<Pair>s. Compares first their
-I<key> parts, and then (if the first comparison yielded 0) the I<value> parts.
+I<key> parts, and then compares the I<value> parts if the keys are equal.
 
 =head2 fmt
 
@@ -46,9 +46,9 @@ For more about format strings, see X<sprintf>.
 
 =head2 kv
 
-    multi method kv(Pair:D:) returns List:D
+    multi method kv(Pair:D:) returns Parcel:D
 
-Returns a two-element C<List> with the I<key> and I<value> parts of the
+Returns a two-element C<Parcel> with the I<key> and I<value> parts o
 C<Pair>, in that order. This method is a special case of the same-named
 method on C<Hash>, which returns all its entries as a list of keys and
 values.

lib/Signature.pod

@@ -63,10 +63,10 @@ So you can also write
 
 The first of those can be shortened to
 
-    multi fact(0) { 1}
+    multi fact(0) { 1 }
 
-ie you can use a literal directly as a type constraint on an anonymous
-parameter.
+i.e., you can use a literal directly as a type and value constraint 
+on an anonymous parameter.
 
 =head2 Slurpy Parameters
 
@@ -122,7 +122,7 @@ with a default value or a trailing question mark:
     :($base = 10)       # optional parameter, default value 10
     :(Int $x?)          # optional parameter, default is the Int type object
 
-Named parameter can also have default values.
+Named parameters can also have default values.
 
 Default values can depend on previous parameters, and are (at least
 notionally) computed anew for each call

lib/Str.pod

@@ -271,7 +271,7 @@ character can be uniquely classified as belonging to one range of characters.
 
 Returns the string decremented by one.
 
-String decrementing is "magical" just like string incrementation (see
+String decrementing is "magical" just like string increment (see
 C<Str.succ>). It fails on underflow
 
     'b0'.pred           # a9