diff --git a/.gitignore b/.gitignore
index 1a59348..a9892bf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
 .DS_Store
 compiled/
 /doc/
+/coverage/
\ No newline at end of file
diff --git a/.travis.yml b/.travis.yml
index 11e8056..5a73c07 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -51,8 +51,10 @@ before_script:
 # packages without it getting stuck on a confirmation prompt.
 script:
  - raco test -x -p tr-immutable
+ - if test $RACKET_VERSION != 6.0 -a $RACKET_VERSION != 6.1; then raco setup --check-pkg-deps --pkgs tr-immutable; fi
+ - raco pkg install --deps search-auto doc-coverage
+ - raco doc-coverage tr-immutable
+ - raco pkg install --deps search-auto cover cover-codecov
+ - raco cover -s doc -s test -s main -f codecov -d $TRAVIS_BUILD_DIR/coverage .
 
 after_success:
- - raco setup --check-pkg-deps --pkgs tr-immutable
- - raco pkg install --deps search-auto cover cover-coveralls
- - raco cover -b -f coveralls -d $TRAVIS_BUILD_DIR/coverage .
diff --git a/info.rkt b/info.rkt
index c56a819..7c2fc19 100644
--- a/info.rkt
+++ b/info.rkt
@@ -1,8 +1,12 @@
 #lang info
 (define collection "tr-immutable")
 (define deps '("base"
-               "rackunit-lib"))
-(define build-deps '("scribble-lib" "racket-doc"))
+               "rackunit-lib"
+               "typed-racket-lib"
+               "typed-racket-more"))
+(define build-deps '("scribble-lib"
+                     "racket-doc"
+                     "typed-racket-doc"))
 (define scribblings '(("scribblings/tr-immutable.scrbl" ())))
 (define pkg-desc "Description Here")
 (define version "0.0")
diff --git a/main.rkt b/main.rkt
index 9df63eb..caf56cb 100644
--- a/main.rkt
+++ b/main.rkt
@@ -1,15 +1,14 @@
 #lang typed/racket/base
 
-(module unsafe racket/base
-  ;; TODO: make this a vector in the implementation, but make TR think it's a
-  ;; list (via a contract?)
-  (provide (struct-out ivector))
-  (struct ivector (v) #:mutable)
-  )
-
 (require typed/racket/unsafe)
-(unsafe-require/typed 'unsafe
-                      [#:struct (A) ivector ([v : (Listof A)])
-                       #:type-name IVector])
 
-(make-predicate (IVector Integer))
\ No newline at end of file
+(provide IVectorof
+         (rename-out [new-ivector ivector]))
+
+(unsafe-require/typed tr-immutable/private/unsafe
+                      [#:struct (A) ivector ([v : (Listof A)])
+                       #:type-name IVectorof])
+
+(: new-ivector (∀ (A) (→ A * (IVectorof A))))
+(define (new-ivector . vs)
+  (ivector vs))
\ No newline at end of file
diff --git a/private/unsafe.rkt b/private/unsafe.rkt
new file mode 100644
index 0000000..c5fe8dc
--- /dev/null
+++ b/private/unsafe.rkt
@@ -0,0 +1,6 @@
+#lang racket/base
+
+;; TODO: make this a vector in the implementation, but make TR think it's a
+;; list (via a contract?)
+(provide (struct-out ivector))
+(struct ivector (v) #:mutable)
diff --git a/scribblings/tr-immutable.scrbl b/scribblings/tr-immutable.scrbl
index 53851ca..74f3a96 100644
--- a/scribblings/tr-immutable.scrbl
+++ b/scribblings/tr-immutable.scrbl
@@ -1,10 +1,22 @@
 #lang scribble/manual
 @require[@for-label[tr-immutable
-                    racket/base]]
+                    typed/racket/base]]
 
 @title{tr-immutable}
 @author{georges}
 
 @defmodule[tr-immutable]
 
-Package Description Here
+This library implements immutable wrappers for @racket[vector] and
+@racket[box], in a way that @racketmodname[typed/racket] is able to recognise.
+This makes it possible to write @racket[(make-predicate (IVectorof Integer))]
+in current versions of Typed/Racket.
+
+@defform[#:kind "type"
+         (IVectorof A)]{
+ The type for immutable vectors containing elements of type @racket[A].
+}
+
+@defproc[(ivector [v : A] ...) (IVectorof A)]{
+ The type for immutable vectors containing elements of type @racket[A].
+}
\ No newline at end of file
diff --git a/test/test-vector.rkt b/test/test-vector.rkt
new file mode 100644
index 0000000..6b5dc51
--- /dev/null
+++ b/test/test-vector.rkt
@@ -0,0 +1,5 @@
+#lang typed/racket
+
+(require tr-immutable
+         typed/rackunit)
+(check-pred (make-predicate (IVectorof Positive-Byte)) (ivector 1 2 3))
\ No newline at end of file