diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -5,12 +5,12 @@
 [![Hackage](https://img.shields.io/hackage/v/egison-pattern-src.svg)](https://hackage.haskell.org/package/egison-pattern-src)
 [![Hackage Deps](https://img.shields.io/hackage-deps/v/egison-pattern-src.svg)](http://packdeps.haskellers.com/reverse/egison-pattern-src)
 
-The [egison-pattern-src](https://hackage.haskell.org/package/egison-pattern-src) provides a standalone syntax definition for patterns in [Egison programming language](https://www.egison.org/).
+The [egison-pattern-src](https://hackage.haskell.org/package/egison-pattern-src) provides a standalone syntax definition for patterns in [the Egison programming language](https://www.egison.org/).
 This package enables you to embed Egison's patterns in your parser (pretty-printer) by supplying expression and name parsers (printers) externally.
 
 ## Syntax
 
-The following is a simplified syntax of pattern expressions where `x`, `v`, `op` and `e` are respectively names, variable names, user-defined infix operators and expressions in host language.
+The following is a simplified syntax of pattern expressions where `v`, `c`, `op` and `e` are meta-variables for variable names, constructor names, user-defined infix operators, and expressions in host language, respectively.
 
 ```
 p ::= _                     (wildcard pattern)
@@ -19,11 +19,11 @@
     | ?e                    (predicate pattern)
     | (p_1, p_2, ..., p_n)  (tuple pattern)
     | [p_1, p_2, ..., p_n]  (collection pattern)
-    | p & p                 (and pattern)
-    | p | p                 (or pattern)
-    | !p                    (not pattern)
+    | p & p                 (and-pattern)
+    | p | p                 (or-pattern)
+    | !p                    (not-pattern)
     | p op p                (user-defined infix pattern)
-    | x p_1 p_2 ... p_n     (constructor pattern)
+    | c p_1 p_2 ... p_n     (constructor pattern)
 ```
 
 ## License
diff --git a/egison-pattern-src.cabal b/egison-pattern-src.cabal
--- a/egison-pattern-src.cabal
+++ b/egison-pattern-src.cabal
@@ -1,11 +1,11 @@
 cabal-version:      2.0
 name:               egison-pattern-src
-version:            0.2.1.0
+version:            0.2.1.1
 synopsis:
   Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
 
 description:
-  @egison-pattern-src@ provides a standalone syntax definition for patterns in [Egison programming language](https://www.egison.org/).
+  @egison-pattern-src@ provides a standalone syntax definition for patterns in [the Egison programming language](https://www.egison.org/).
   This package enables you to embed Egison's patterns in your parser (pretty-printer) by supplying expression and name parsers (printers) externally.
 
 bug-reports:        https://github.com/egison/egison-pattern-src/issues
@@ -22,7 +22,8 @@
   CHANGELOG.md
 
 -- see .github/workflows
-tested-with:        GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.1
+tested-with:
+  GHC ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.3 || ==8.10.1
 
 source-repository head
   type:     git
@@ -36,8 +37,8 @@
     , megaparsec          >=7.0.0 && <8.1
     , mtl                 ^>=2.2.1
     , parser-combinators  >=1.0.0 && <1.3
-    , prettyprinter       >=1.0.0 && <1.7
-    , recursion-schemes   >=5.0.2 && <5.2
+    , prettyprinter       >=1.0.0
+    , recursion-schemes   >=5.2
     , text                >=0.1.0 && <1.3
 
   hs-source-dirs:     src
diff --git a/src/Language/Egison/Syntax/Pattern.hs b/src/Language/Egison/Syntax/Pattern.hs
--- a/src/Language/Egison/Syntax/Pattern.hs
+++ b/src/Language/Egison/Syntax/Pattern.hs
@@ -4,7 +4,7 @@
 -- Description: Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
 -- Stability:   experimental
 --
--- This package provides a standalone syntax definition for patterns in [Egison programming language](https://www.egison.org/).
+-- This package provides a standalone syntax definition for patterns in [the Egison programming language](https://www.egison.org/).
 
 module Language.Egison.Syntax.Pattern
   ( module X