diff --git a/README b/README
--- a/README
+++ b/README
@@ -20,6 +20,8 @@
  type parameterized by the array's size or a modular group type Zn 
  parameterized by the modulus).
 
+ Here is a tutorial on type-level numerals and how to use them to
+implement numerically-parameterized vectors: http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec
 
 DEPENDENCIES
  
diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -1,4 +1,4 @@
-#! /usr/bin/env runhaskell
+#!/usr/bin/env runhaskell
 module Main (main) where
 
 import Distribution.Simple
diff --git a/src/Data/TypeLevel/Num.hs b/src/Data/TypeLevel/Num.hs
--- a/src/Data/TypeLevel/Num.hs
+++ b/src/Data/TypeLevel/Num.hs
@@ -11,6 +11,9 @@
 --
 -- This module is a wrapper for all the publicly usable numerical types and 
 -- functions of the type-level library.
+--
+--  Here is a tutorial on type-level numerals and how to use them to
+--  implement numerically-parameterized vectors: <http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec>
 -- 
 ----------------------------------------------------------------------------
 module Data.TypeLevel.Num 
diff --git a/src/Data/TypeLevel/Num/Aliases.hs b/src/Data/TypeLevel/Num/Aliases.hs
--- a/src/Data/TypeLevel/Num/Aliases.hs
+++ b/src/Data/TypeLevel/Num/Aliases.hs
@@ -20,10 +20,12 @@
 ----------------------------------------------------------------------------
 module Data.TypeLevel.Num.Aliases where
 
+import Language.Haskell.TH
 import Data.TypeLevel.Num.Reps
 import Data.TypeLevel.Num.Aliases.TH (genAliases)
 
 
-$(genAliases 1024 4096 5000 4096)
+$(do runIO (putStrLn "Generating and compiling a zillion numerical type aliases, this might take a while") 
+     genAliases 1024 4096 5000 4096)
 
 
diff --git a/type-level.cabal b/type-level.cabal
--- a/type-level.cabal
+++ b/type-level.cabal
@@ -1,5 +1,5 @@
 name:           type-level
-version:        0.2.1
+version:        0.2.2
 cabal-version:  >= 1.2
 build-type:     Simple
 license:        BSD3
@@ -32,9 +32,14 @@
  type parameterized by the array's size or a modular group type Zn 
  parameterized by the modulus).
 
+ Here is a tutorial on type-level numerals and how to use them to
+ implement numerically-parameterized vectors: <http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec>
+
+
 category:       Data
 tested-with:    GHC==6.8.2
-
+extra-source-files: LICENSE,
+                    README
 
 -- depends on ghc due to the use of infix type constructors and template haskell
 Library
@@ -48,4 +53,4 @@
                    Data.TypeLevel.Num.Sets,
                    Data.TypeLevel.Num.Ops,
                    Data.TypeLevel.Num.Aliases.TH
-  ghc-options:	-Wall -O2
+  ghc-options:	-Wall