More formal writing and links

Author: workingjubilee

src/patterns.md

@@ -402,7 +402,6 @@ match tuple {
 > **<sup>Syntax</sup>**\
 > _RangePattern_ :\
 > &nbsp;&nbsp; _RangePatternBound_ `..=` _RangePatternBound_
-> _RangeFromPattern_ :\
 > &nbsp;&nbsp; _RangePatternBound_ `..`
 >
 > _ObsoleteRangePattern_ :\
@@ -416,10 +415,16 @@ match tuple {
 > &nbsp;&nbsp; | [_PathInExpression_]\
 > &nbsp;&nbsp; | [_QualifiedPathInExpression_]
 
-Range patterns match values that are within a range defined by its lower and upper bounds (if any).
-For example, a pattern `'m'..='p'` will match only the values `'m'`, `'n'`, `'o'`, and `'p'`. A
-pattern `1..` will match values equal to or greater than 1, but not 0 (or negative numbers, for
-signed integers). The bounds can be literals or paths that point to constant values.
+Range patterns match values within the range defined by their bounds. A range pattern may be
+closed or half-open. A range pattern is closed if it has both a lower and an upper bound, and
+it matches all the values between and including both of its bounds. A range pattern that is
+half-open is written with a lower bound but not an upper bound, and matches any value equal to
+or greater than the specified lower bound.
+
+For example, a pattern `'m'..='p'` will match only the values `'m'`, `'n'`, `'o'`, and `'p'`. The
+pattern `1..` will match 9, or 9001, or 9007199254740991 (if it is of an appropriate size), but
+not 0 or negative numbers for signed integers. The bounds can be literals or paths that point
+to constant values.
 
 A pattern a `..=` b must always have a &le; b. It is an error to have a range pattern
 `10..=0`, for example.

src/tokens.md

@@ -586,7 +586,7 @@ usages and meanings are defined in the linked pages.
 | `@`    | At          | [Subpattern binding]
 | `_`    | Underscore  | [Wildcard patterns], [Inferred types], Unnamed items in [constants], [extern crates], and [use declarations]
 | `.`    | Dot         | [Field access][field], [Tuple index]
-| `..`   | DotDot      | [Range][range], [Struct expressions], [Patterns]
+| `..`   | DotDot      | [Range][range], [Struct expressions], [Patterns], [Range Patterns][rangepat]
 | `...`  | DotDotDot   | [Variadic functions][extern], [Range patterns]
 | `..=`  | DotDotEq    | [Inclusive Range][range], [Range patterns]
 | `,`    | Comma       | Various separators
@@ -646,6 +646,7 @@ them are referred to as "token trees" in [macros].  The three types of brackets
 [patterns]: patterns.md
 [question]: expressions/operator-expr.md#the-question-mark-operator
 [range]: expressions/range-expr.md
+[rangepat]: patterns.md#range-patterns
 [raw pointers]: types/pointer.md#raw-pointers-const-and-mut
 [references]: types/pointer.md
 [sized]: trait-bounds.md#sized