diff --git a/src/ikarus.boot b/src/ikarus.boot
index 897d965..2273ae3 100644
Binary files a/src/ikarus.boot and b/src/ikarus.boot differ
diff --git a/src/ikarus.core.ss b/src/ikarus.core.ss
index 51fcd25..58d753b 100644
--- a/src/ikarus.core.ss
+++ b/src/ikarus.core.ss
@@ -46,22 +46,6 @@
       (error 'fxlognot "~s is not a fixnum" x))
     ($fxlognot x)))
   
-(primitive-set! 'immediate? (lambda (x) (immediate? x)))
-
-(primitive-set! 'boolean? (lambda (x) (boolean? x)))
-  
-(primitive-set! 'char? (lambda (x) (char? x)))
-
-(primitive-set! 'vector? (lambda (x) (vector? x)))
-
-(primitive-set! 'string? (lambda (x) (string? x)))
-
-(primitive-set! 'procedure? (lambda (x) (procedure? x)))
-
-(primitive-set! 'null? (lambda (x) (null? x)))
-
-(primitive-set! 'pair? (lambda (x) (pair? x)))
-
 (let ()
   (define fill!
     (lambda (v i n fill)
diff --git a/src/ikarus.predicates.ss b/src/ikarus.predicates.ss
index f6686f5..5a7c47e 100644
--- a/src/ikarus.predicates.ss
+++ b/src/ikarus.predicates.ss
@@ -1,16 +1,33 @@
 
 (library (ikarus predicates)
-  (export fixnum? flonum? bignum? number? complex? real? rational? 
-          integer? exact? eof-object?)
+
+  (export fixnum? flonum? bignum? number? complex? real? rational?
+          integer? exact? eof-object? immediate? boolean? char?
+          vector? string? procedure? null? pair? symbol?) 
+
   (import 
+
     (except (ikarus) fixnum? flonum? bignum? number? complex? real?
-            rational? integer? exact? eof-object?)
-    (rename (only (ikarus) fixnum? flonum? bignum? eof-object?) 
+            rational? integer? exact? eof-object?  immediate?
+            boolean?  char?  vector?  string?  procedure?  null?
+            pair? symbol?)
+
+    (rename (only (ikarus) fixnum? flonum? bignum? eof-object?
+              immediate? boolean? char? vector? string? procedure? 
+              null? pair? symbol?)
             (fixnum? sys:fixnum?)
             (flonum? sys:flonum?)
             (bignum? sys:bignum?)
             (eof-object? sys:eof-object?)
-            ))
+            (immediate? sys:immediate?)
+            (boolean? sys:boolean?)
+            (char? sys:char?)
+            (vector? sys:vector?)
+            (string? sys:string?)
+            (procedure? sys:procedure?)
+            (null? sys:null?)
+            (pair? sys:pair?)
+            (symbol? sys:symbol?)))
 
   (define fixnum?
     (lambda (x) (sys:fixnum? x)))
@@ -58,8 +75,15 @@
         [else 
          (error 'exact? "~s is not a number" x)])))
   
-  (define eof-object?
-    (lambda (x)
-      (sys:eof-object? x)))
+  (define eof-object? (lambda (x) (sys:eof-object? x)))
+  (define immediate? (lambda (x) (sys:immediate? x)))
+  (define boolean? (lambda (x) (sys:boolean? x)))
+  (define char? (lambda (x) (sys:char? x)))
+  (define vector? (lambda (x) (sys:vector? x)))
+  (define string? (lambda (x) (sys:string? x)))
+  (define procedure? (lambda (x) (sys:procedure? x)))
+  (define null? (lambda (x) (sys:null? x)))
+  (define pair? (lambda (x) (sys:pair? x)))
+  (define symbol? (lambda (x) (sys:symbol? x)))
 
   )