diff --git a/.travis.yml b/.travis.yml
index 973a1e5..8748b0b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -51,6 +51,8 @@ before_script:
 script:
  - raco test -x -p xlist
  - raco setup --check-pkg-deps --pkgs xlist
+ - raco pkg install --deps search-auto doc-coverage
+ - raco doc-coverage xlist
 
 after_success:
  - raco pkg install --deps search-auto cover cover-coveralls
diff --git a/between.rkt b/between.rkt
new file mode 100644
index 0000000..72296e1
--- /dev/null
+++ b/between.rkt
@@ -0,0 +1,7 @@
+#lang typed/racket/base
+
+(provide between/c)
+
+(: between/c (→ Real Real (→ Real Boolean)))
+(define ((between/c a b) v)
+  (and (<= a v) (<= v b)))
\ No newline at end of file
diff --git a/scribblings/identifiers.scrbl b/scribblings/identifiers.scrbl
new file mode 100644
index 0000000..be76f0b
--- /dev/null
+++ b/scribblings/identifiers.scrbl
@@ -0,0 +1,22 @@
+#lang scribble/manual
+@require[phc-toolkit/scribblings/utils
+         @for-label[xlist/untyped]]
+@(def-orig typed [xlist]
+   xlist)
+
+@title{Special identifiers recognised by @racket[xlist]}
+@defmodule*[(xlist
+             xlist/untyped)
+            #:link-target? #f
+            #:use-sources
+            [(lib "xlist/infinity-identifier.rkt")
+             (lib "xlist/caret-identifier.rkt")]]
+
+@defidform[^]{This identifier can only be used within xlist forms.}
+
+@defthing[∞]{This identifier is meant to be used within xlist
+ forms, but is also equal to @racket[+inf.0] as a convenience. In the future,
+ this package will make it possible for other packages to overload the meaning
+ of the @racket[^] and @racket[∞] identifiers, so that the value of @racket[∞]
+ may depend on the packages loaded (for example a symbolic math package may want
+ to attach a special value to @racket[∞].}
\ No newline at end of file
diff --git a/scribblings/xlist-untyped.scrbl b/scribblings/xlist-untyped.scrbl
new file mode 100644
index 0000000..e6234ce
--- /dev/null
+++ b/scribblings/xlist-untyped.scrbl
@@ -0,0 +1,12 @@
+#lang scribble/manual
+@require[phc-toolkit/scribblings/utils
+         @for-label[xlist/untyped]]
+@(def-orig typed [xlist]
+   xlist)
+
+@title{Untyped versions of xlist}
+@defmodule[xlist/untyped
+           #:use-sources
+           [(submod (lib "xlist/main.rkt") untyped)]]
+
+@defidform[xlist]{Untyped version of @|typed:xlist|.}
diff --git a/test/test-match-typed.rkt b/test/test-match-typed.rkt
new file mode 100644
index 0000000..523bf25
--- /dev/null
+++ b/test/test-match-typed.rkt
@@ -0,0 +1,159 @@
+#lang typed/racket
+
+(require xlist/untyped
+         typed/rackunit)
+
+(test-begin
+ "(xlist 1 2 3 4 5)"
+ (check-true (match '() [(xlist) #t] [_ #f]))
+ (check-true (match '(1) [(xlist 1) #t] [_ #f]))
+ (check-true (match '(1 2) [(xlist 1 2) #t] [_ #f]))
+ (check-true (match '(1 2 3) [(xlist 1 2 3) #t] [_ #f]))
+ (check-true (match '(1 2 3 4) [(xlist 1 2 3 4) #t] [_ #f]))
+ (check-true (match '(1 2 3 4 5) [(xlist 1 2 3 4 5) #t] [_ #f]))
+
+ (check-false (match '() [(xlist 1) #t] [_ #f]))
+ (check-false (match '(1) [(xlist 1 2) #t] [_ #f]))
+ (check-false (match '(1 2) [(xlist 1 2 3) #t] [_ #f]))
+ (check-false (match '(1 2 3) [(xlist 1 2 3 4) #t] [_ #f]))
+ (check-false (match '(1 2 3 4) [(xlist 1 2 3 4 5) #t] [_ #f]))
+ (check-false (match '(1 2 3 4 5) [(xlist 1 2 3 4 5 6) #t] [_ #f]))
+
+ (check-false (match '(1) [(xlist) #t] [_ #f]))
+ (check-false (match '(1 2) [(xlist 1) #t] [_ #f]))
+ (check-false (match '(1 2 3) [(xlist 1 2) #t] [_ #f]))
+ (check-false (match '(1 2 3 4) [(xlist 1 2 3) #t] [_ #f]))
+ (check-false (match '(1 2 3 4 5) [(xlist 1 2 3 4) #t] [_ #f]))
+ (check-false (match '(1 2 3 4 5 6) [(xlist 1 2 3 4 5) #t] [_ #f]))
+ (void))
+
+;; Should fail:
+;(xlist ^ 1)
+;(xlist ^ 1 +)
+;(xlist ^ 1 *)
+;(xlist +)
+;(xlist *)
+
+(test-begin
+ "(xlist 1 *) and (xlist 1 +) with or witout ^"
+ (check-true (match '() [(xlist 1 *) #t] [_ #f]))
+ (check-true (match '(1) [(xlist 1 *) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 *) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 *) #t] [_ #f]))
+
+ ; NOT (check-true '() (xlist 1 +))
+ (check-true (match '(1) [(xlist 1 +) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 +) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 +) #t] [_ #f]))
+
+ (check-true (match '() [(xlist 1 ^ *) #t] [_ #f]))
+ (check-true (match '(1) [(xlist 1 ^ *) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 ^ *) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 ^ *) #t] [_ #f]))
+
+ ; NOT (check-true '() (xlist 1 ^ +))
+ (check-true (match '(1) [(xlist 1 ^ +) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 ^ +) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 ^ +) #t] [_ #f]))
+ (void))
+
+
+(test-begin
+ "(xlist (? number? n) *) and (xlist (? number? n) +) with or witout ^"
+ (check-equal? (match '()      [(xlist (? number? n) *)   n] [_ #f]) '())
+ (check-equal? (match '(1)     [(xlist (? number? n) *)   n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) *)   n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) *)   n] [_ #f]) '(1 1 1))
+
+ (check-false  (match '()      [(xlist (? number? n) +)   n] [_ #f]))
+ (check-equal? (match '(1)     [(xlist (? number? n) +)   n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) +)   n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) +)   n] [_ #f]) '(1 1 1))
+
+ (check-equal? (match '()      [(xlist (? number? n) ^ *) n] [_ #f]) '())
+ (check-equal? (match '(1)     [(xlist (? number? n) ^ *) n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) ^ *) n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ *) n] [_ #f]) '(1 1 1 ))
+
+ (check-false  (match '()      [(xlist (? number? n) ^ +) n] [_ #f]))
+ (check-equal? (match '(1)     [(xlist (? number? n) ^ +) n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) ^ +) n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ +) n] [_ #f]) '(1 1 1))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) *) and (xlist (? number? n) +) something after"
+ (check-equal? (match '()              [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '(() . ()))
+ (check-equal? (match '(1)             [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1) . ()))
+ (check-equal? (match '("b")           [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '(() . ("b")))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 1 "b" "b") [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1 1 1) . ("b" "b")))
+ (check-equal? (match '(1 1 1)         [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1 1 1) . ()))
+ (check-equal? (match '("b" "b" "b")   [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '(() . ("b" "b" "b")))
+
+ (check-false  (match '()              [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]))
+ (check-false  (match '(1)             [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]))
+ (check-false  (match '("b")           [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 "b")       [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]) '((1 1) . ("b")))
+ (check-equal? (match '(1 "b" "b")     [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]) '((1) . ("b" "b")))
+
+ (check-equal? (match '()              [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '(() . ()))
+ (check-equal? (match '(1)             [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1) . ()))
+ (check-equal? (match '("b")           [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '(() . ("b")))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 1 "b" "b") [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1 1 1) . ("b" "b")))
+ (check-equal? (match '(1 1 1)         [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1 1 1) . ()))
+ (check-equal? (match '("b" "b" "b")   [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '(() . ("b" "b" "b")))
+
+ (check-false  (match '()              [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]))
+ (check-false  (match '(1)             [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]))
+ (check-false  (match '("b")           [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 "b")       [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]) '((1 1) . ("b")))
+ (check-equal? (match '(1 "b" "b")     [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]) '((1) . ("b" "b")))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) ^ x +)"
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) +)     n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ +)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 0 +) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 1 +) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 2 +) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 3 +) n] [_ #f]) '(1 1 1))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) ^ x - y)"
+ (check-equal? (match '()          [(xlist (? number? n) ^ -)     n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ -)     n] [_ #f]) '(1 1 1))
+ (check-equal? (match '()          [(xlist (? number? n) ^ 0 -)   n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 0 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 1 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 2 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 3 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '()          [(xlist (? number? n) ^ - ∞)   n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ - ∞)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '()          [(xlist (? number? n) ^ 0 - ∞) n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 0 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 1 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 2 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 3 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 0 - 5) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 3 - 5) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1 1)   [(xlist (? number? n) ^ 0 - 5) n] [_ #f]) '(1 1 1 1))
+ (check-equal? (match '(1 1 1 1)   [(xlist (? number? n) ^ 3 - 5) n] [_ #f]) '(1 1 1 1))
+ (check-equal? (match '(1 1 1 1 1) [(xlist (? number? n) ^ 0 - 5) n] [_ #f]) '(1 1 1 1 1))
+ (check-equal? (match '(1 1 1 1 1) [(xlist (? number? n) ^ 3 - 5) n] [_ #f]) '(1 1 1 1 1))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) ^ x - (? string? s))"
+ (check-equal? (match '("b")       [(xlist (? number? n) ^ -   (? string? s)) (cons n s)] [_ #f]) '(() . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ -   (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (check-equal? (match '("b")       [(xlist (? number? n) ^ 0 - (? string? s)) (cons n s)] [_ #f]) '(() . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ 0 - (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ 1 - (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ 2 - (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (void))
diff --git a/test/test-match.rkt b/test/test-match.rkt
new file mode 100644
index 0000000..f01f5ef
--- /dev/null
+++ b/test/test-match.rkt
@@ -0,0 +1,159 @@
+#lang racket
+
+(require xlist/untyped
+         rackunit)
+
+(test-begin
+ "(xlist 1 2 3 4 5)"
+ (check-true (match '() [(xlist) #t] [_ #f]))
+ (check-true (match '(1) [(xlist 1) #t] [_ #f]))
+ (check-true (match '(1 2) [(xlist 1 2) #t] [_ #f]))
+ (check-true (match '(1 2 3) [(xlist 1 2 3) #t] [_ #f]))
+ (check-true (match '(1 2 3 4) [(xlist 1 2 3 4) #t] [_ #f]))
+ (check-true (match '(1 2 3 4 5) [(xlist 1 2 3 4 5) #t] [_ #f]))
+
+ (check-false (match '() [(xlist 1) #t] [_ #f]))
+ (check-false (match '(1) [(xlist 1 2) #t] [_ #f]))
+ (check-false (match '(1 2) [(xlist 1 2 3) #t] [_ #f]))
+ (check-false (match '(1 2 3) [(xlist 1 2 3 4) #t] [_ #f]))
+ (check-false (match '(1 2 3 4) [(xlist 1 2 3 4 5) #t] [_ #f]))
+ (check-false (match '(1 2 3 4 5) [(xlist 1 2 3 4 5 6) #t] [_ #f]))
+
+ (check-false (match '(1) [(xlist) #t] [_ #f]))
+ (check-false (match '(1 2) [(xlist 1) #t] [_ #f]))
+ (check-false (match '(1 2 3) [(xlist 1 2) #t] [_ #f]))
+ (check-false (match '(1 2 3 4) [(xlist 1 2 3) #t] [_ #f]))
+ (check-false (match '(1 2 3 4 5) [(xlist 1 2 3 4) #t] [_ #f]))
+ (check-false (match '(1 2 3 4 5 6) [(xlist 1 2 3 4 5) #t] [_ #f]))
+ (void))
+
+;; Should fail:
+;(xlist ^ 1)
+;(xlist ^ 1 +)
+;(xlist ^ 1 *)
+;(xlist +)
+;(xlist *)
+
+(test-begin
+ "(xlist 1 *) and (xlist 1 +) with or witout ^"
+ (check-true (match '() [(xlist 1 *) #t] [_ #f]))
+ (check-true (match '(1) [(xlist 1 *) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 *) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 *) #t] [_ #f]))
+
+ ; NOT (check-true '() (xlist 1 +))
+ (check-true (match '(1) [(xlist 1 +) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 +) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 +) #t] [_ #f]))
+
+ (check-true (match '() [(xlist 1 ^ *) #t] [_ #f]))
+ (check-true (match '(1) [(xlist 1 ^ *) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 ^ *) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 ^ *) #t] [_ #f]))
+
+ ; NOT (check-true '() (xlist 1 ^ +))
+ (check-true (match '(1) [(xlist 1 ^ +) #t] [_ #f]))
+ (check-true (match '(1 1) [(xlist 1 ^ +) #t] [_ #f]))
+ (check-true (match '(1 1 1) [(xlist 1 ^ +) #t] [_ #f]))
+ (void))
+
+
+(test-begin
+ "(xlist (? number? n) *) and (xlist (? number? n) +) with or witout ^"
+ (check-equal? (match '()      [(xlist (? number? n) *)   n] [_ #f]) '())
+ (check-equal? (match '(1)     [(xlist (? number? n) *)   n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) *)   n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) *)   n] [_ #f]) '(1 1 1))
+
+ (check-false  (match '()      [(xlist (? number? n) +)   n] [_ #f]))
+ (check-equal? (match '(1)     [(xlist (? number? n) +)   n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) +)   n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) +)   n] [_ #f]) '(1 1 1))
+
+ (check-equal? (match '()      [(xlist (? number? n) ^ *) n] [_ #f]) '())
+ (check-equal? (match '(1)     [(xlist (? number? n) ^ *) n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) ^ *) n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ *) n] [_ #f]) '(1 1 1 ))
+
+ (check-false  (match '()      [(xlist (? number? n) ^ +) n] [_ #f]))
+ (check-equal? (match '(1)     [(xlist (? number? n) ^ +) n] [_ #f]) '(1))
+ (check-equal? (match '(1 1)   [(xlist (? number? n) ^ +) n] [_ #f]) '(1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ +) n] [_ #f]) '(1 1 1))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) *) and (xlist (? number? n) +) something after"
+ (check-equal? (match '()              [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '(() . ()))
+ (check-equal? (match '(1)             [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1) . ()))
+ (check-equal? (match '("b")           [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '(() . ("b")))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 1 "b" "b") [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1 1 1) . ("b" "b")))
+ (check-equal? (match '(1 1 1)         [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '((1 1 1) . ()))
+ (check-equal? (match '("b" "b" "b")   [(xlist (? number? n) *   (? string? s) *)   (cons n s)] [_ #f]) '(() . ("b" "b" "b")))
+
+ (check-false  (match '()              [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]))
+ (check-false  (match '(1)             [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]))
+ (check-false  (match '("b")           [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 "b")       [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]) '((1 1) . ("b")))
+ (check-equal? (match '(1 "b" "b")     [(xlist (? number? n) +   (? string? s) +)   (cons n s)] [_ #f]) '((1) . ("b" "b")))
+
+ (check-equal? (match '()              [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '(() . ()))
+ (check-equal? (match '(1)             [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1) . ()))
+ (check-equal? (match '("b")           [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '(() . ("b")))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 1 "b" "b") [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1 1 1) . ("b" "b")))
+ (check-equal? (match '(1 1 1)         [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '((1 1 1) . ()))
+ (check-equal? (match '("b" "b" "b")   [(xlist (? number? n) ^ * (? string? s) ^ *) (cons n s)] [_ #f]) '(() . ("b" "b" "b")))
+
+ (check-false  (match '()              [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]))
+ (check-false  (match '(1)             [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]))
+ (check-false  (match '("b")           [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]))
+ (check-equal? (match '(1 "b")         [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]) '((1) . ("b")))
+ (check-equal? (match '(1 1 "b")       [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]) '((1 1) . ("b")))
+ (check-equal? (match '(1 "b" "b")     [(xlist (? number? n) ^ + (? string? s) ^ +) (cons n s)] [_ #f]) '((1) . ("b" "b")))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) ^ x +)"
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) +)     n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ +)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 0 +) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 1 +) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 2 +) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1) [(xlist (? number? n) ^ 3 +) n] [_ #f]) '(1 1 1))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) ^ x - y)"
+ (check-equal? (match '()          [(xlist (? number? n) ^ -)     n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ -)     n] [_ #f]) '(1 1 1))
+ (check-equal? (match '()          [(xlist (? number? n) ^ 0 -)   n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 0 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 1 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 2 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 3 -)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '()          [(xlist (? number? n) ^ - ∞)   n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ - ∞)   n] [_ #f]) '(1 1 1))
+ (check-equal? (match '()          [(xlist (? number? n) ^ 0 - ∞) n] [_ #f]) '())
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 0 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 1 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 2 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 3 - ∞) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 0 - 5) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1)     [(xlist (? number? n) ^ 3 - 5) n] [_ #f]) '(1 1 1))
+ (check-equal? (match '(1 1 1 1)   [(xlist (? number? n) ^ 0 - 5) n] [_ #f]) '(1 1 1 1))
+ (check-equal? (match '(1 1 1 1)   [(xlist (? number? n) ^ 3 - 5) n] [_ #f]) '(1 1 1 1))
+ (check-equal? (match '(1 1 1 1 1) [(xlist (? number? n) ^ 0 - 5) n] [_ #f]) '(1 1 1 1 1))
+ (check-equal? (match '(1 1 1 1 1) [(xlist (? number? n) ^ 3 - 5) n] [_ #f]) '(1 1 1 1 1))
+ (void))
+
+(test-begin
+ "(xlist (? number? n) ^ x - (? string? s))"
+ (check-equal? (match '("b")       [(xlist (? number? n) ^ -   (? string? s)) (cons n s)] [_ #f]) '(() . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ -   (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (check-equal? (match '("b")       [(xlist (? number? n) ^ 0 - (? string? s)) (cons n s)] [_ #f]) '(() . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ 0 - (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ 1 - (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (check-equal? (match '(1 1 1 "b") [(xlist (? number? n) ^ 2 - (? string? s)) (cons n s)] [_ #f]) '((1 1 1) . "b"))
+ (void))
diff --git a/untyped.rkt b/untyped.rkt
new file mode 100644
index 0000000..d950154
--- /dev/null
+++ b/untyped.rkt
@@ -0,0 +1,2 @@
+#lang reprovide
+(submod "main.rkt" untyped)
\ No newline at end of file