diff --git a/ansi-tests/cons-test-15.lsp b/ansi-tests/cons-test-15.lsp
index 89b2a8f669caca77d36754c80427fce76f9f112c..b8868eb5d99b27b4301f97aa3b8895340bd58ad3 100644
--- a/ansi-tests/cons-test-15.lsp
+++ b/ansi-tests/cons-test-15.lsp
@@ -104,6 +104,10 @@
   (classify-error (mapc #'car '(a b c)))
   type-error)
 
+(deftest mapc.error.8
+  (classify-error (mapc #'identity (list* 1 2 3 4)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; mapcar
 
@@ -208,6 +212,9 @@
   (classify-error (mapcar #'cons '(a b c) '(1 2 3) '(4 5 6)))
   program-error)
 
+(deftest mapcar.error.8
+  (classify-error (mapcar #'identity (list* 1 2 3 4)))
+  type-error)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; mapcan
@@ -320,6 +327,10 @@
   (classify-error (mapcan #'cons '(a b c) '(1 2 3) '(4 5 6)))
   program-error)
 
+(deftest mapcan.error.8
+  (classify-error (mapcan #'identity (list* (list 1) (list 2) 3)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; mapl
 
@@ -443,6 +454,9 @@
   (classify-error (mapl #'caar '(a b c)))
   type-error)
 
+(deftest mapl.error.8
+  (classify-error (mapl #'identity (list* (list 1) (list 2) 3)))
+  type-error)
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; maplist
@@ -574,6 +588,10 @@
   (classify-error (maplist #'cons '(a b c) '(1 2 3) '(4 5 6)))
   program-error)
 
+(deftest maplist.error.11
+  (classify-error (maplist #'identity (list* (list 1) (list 2) 3)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; mapcon
 
@@ -650,3 +668,8 @@
 (deftest mapcon.error.7
   (classify-error (mapcon #'cons '(a b c) '(1 2 3) '(4 5 6)))
   program-error)
+
+(deftest mapcon.error.8
+  (classify-error (mapcon #'copy-tree (cons 1 2)))
+  type-error)
+
diff --git a/ansi-tests/cons-test-16.lsp b/ansi-tests/cons-test-16.lsp
index 6a84305d70fbc7d061cbbf8a5f6db2b79706d117..581e965d23db628911de4d831a1ff5606482cd03 100644
--- a/ansi-tests/cons-test-16.lsp
+++ b/ansi-tests/cons-test-16.lsp
@@ -693,9 +693,13 @@
   program-error)
 
 (deftest pairlist.error.4
-  (classify-error (pairlis 'a '(1) '(a b c)))
+  (classify-error (pairlis 'a '(1)))
   type-error)
 
 (deftest pairlist.error.5
-  (classify-error (pairlis '(a) 'b '(a b c)))
+  (classify-error (pairlis '(a) 'b))
+  type-error)
+
+(deftest pairlist.error.6
+  (classify-error (pairlis '(a . b) '(c . d)))
   type-error)
diff --git a/ansi-tests/cons-test-18.lsp b/ansi-tests/cons-test-18.lsp
index 679ca9d3fd0570f73adec134b5164b54da528617..46526b259e64b2fe06451532c2422557a38eae57 100644
--- a/ansi-tests/cons-test-18.lsp
+++ b/ansi-tests/cons-test-18.lsp
@@ -78,6 +78,18 @@
   (classify-error (get-properties nil nil nil))
   program-error)
 
+(deftest get-properties.error.4
+  (classify-error (get-properties '(a 1 b 2 c 3) '(a . b)))
+  type-error)
+
+(deftest get-properties.error.5
+  (classify-error (get-properties '(a 1 b 2 c 3 . d) '(a z)))
+  type-error)
+
+(deftest get-properties.error.6
+  (classify-error (get-properties '(a 1 b 2 c . d) '(a z)))
+  type-error)
+
 	   
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; getf
@@ -296,6 +308,14 @@
   (classify-error (getf nil nil nil nil))
   program-error)
 
+(deftest getf.error.4
+  (classify-error (getf '(a . b) 'c))
+  type-error)
+
+(deftest getf.error.5
+  (classify-error (getf '(a 10 . b) 'c))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; remf
 
diff --git a/ansi-tests/cons-test-19.lsp b/ansi-tests/cons-test-19.lsp
index 1214a7251470c01c11e3fafa15249aea49b8fd49..f36ccb086c9053a4716b22b55ceafc0bca635850 100644
--- a/ansi-tests/cons-test-19.lsp
+++ b/ansi-tests/cons-test-19.lsp
@@ -388,6 +388,14 @@
   (classify-error (intersection '(a b c) '(d e f) :key #'car))
   type-error)
 
+(deftest intersection.error.11
+  (classify-error (intersection '(a b c) '(d e f . g)))
+  type-error)
+
+(deftest intersection.error.12
+  (classify-error (intersection '(a b . c) '(d e f)))
+  type-error)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; nintersection
 
@@ -736,3 +744,11 @@
 (deftest nintersection.error.10
   (classify-error (nintersection (list 1 2 3) (list 4 5 6) :key #'car))
   type-error)
+
+(deftest nintersection.error.11
+  (classify-error (nintersection (list 1 2 3) (list* 4 5 6 7)))
+  type-error)
+
+(deftest nintersection.error.12
+  (classify-error (nintersection (list* 1 2 3) (list 4 5 6)))
+  type-error)
diff --git a/ansi-tests/cons-test-20.lsp b/ansi-tests/cons-test-20.lsp
index 6fc53bebbc3212c8a001f365a7d4410233b71ea7..aac1033dff78ca2ce1125e11c45a6b32f1a3cb3d 100644
--- a/ansi-tests/cons-test-20.lsp
+++ b/ansi-tests/cons-test-20.lsp
@@ -401,4 +401,15 @@
   (classify-error (union (list 1 2) (list 3 4) :key #'car))
   type-error)
 
+(deftest union.error.11
+  (classify-error (union (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest union.error.12
+  (classify-error (union (list* 1 2 3) (list 4 5 6)))
+  type-error)
+
+
+
+
 
diff --git a/ansi-tests/cons-test-21.lsp b/ansi-tests/cons-test-21.lsp
index 9457df03e8c9c8a8a1f248810039dba686c5a589..cb0658f1e132356221f00aaa3ca642656fa76f00 100644
--- a/ansi-tests/cons-test-21.lsp
+++ b/ansi-tests/cons-test-21.lsp
@@ -400,3 +400,10 @@
   (classify-error (nunion (list 1 2) (list 3 4) :key #'car))
   type-error)
 
+(deftest nunion.error.11
+  (classify-error (nunion (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest nunion.error.12
+  (classify-error (nunion (list* 1 2 3) (list 4 5 6)))
+  type-error)
diff --git a/ansi-tests/cons-test-22.lsp b/ansi-tests/cons-test-22.lsp
index 380d1d4788305a21763d4ac2434a037736eb7810..3b0d679bb4f0b8ae6bfcd63721114a933bb78d08 100644
--- a/ansi-tests/cons-test-22.lsp
+++ b/ansi-tests/cons-test-22.lsp
@@ -310,6 +310,14 @@
   (classify-error (set-difference (list 1 2) (list 3 4) :key #'car))
   type-error)
 
+(deftest set-difference.error.11
+  (classify-error (set-difference (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest set-difference.error.12
+  (classify-error (set-difference (list* 1 2 3) (list 4 5 6)))
+  type-error)
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; nset-difference
@@ -611,3 +619,11 @@
 (deftest nset-difference.error.10
   (classify-error (nset-difference (list 1 2) (list 3 4) :key #'car))
   type-error)
+
+(deftest nset-difference.error.11
+  (classify-error (nset-difference (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest nset-difference.error.12
+  (classify-error (nset-difference (list* 1 2 3) (list 4 5 6)))
+  type-error)
diff --git a/ansi-tests/cons-test-23.lsp b/ansi-tests/cons-test-23.lsp
index 3ea4b730a3103d4064fa325f5a86dc4900d66b06..bf2ad7a360881d8ac9232252e4b11d05654c4176 100644
--- a/ansi-tests/cons-test-23.lsp
+++ b/ansi-tests/cons-test-23.lsp
@@ -347,6 +347,14 @@
   (classify-error (set-exclusive-or (list 1 2) (list 3 4) :key #'car))
   type-error)
 
+(deftest set-exclusive-or.error.11
+  (classify-error (set-exclusive-or (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest set-exclusive-or.error.12
+  (classify-error (set-exclusive-or (list* 1 2 3) (list 4 5 6)))
+  type-error)
+
 
 ;;; Randomized test
 
@@ -702,3 +710,10 @@
   (classify-error (nset-exclusive-or (list 1 2) (list 3 4) :key #'car))
   type-error)
 
+(deftest nset-exclusive-or.error.11
+  (classify-error (nset-exclusive-or (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest nset-exclusive-or.error.12
+  (classify-error (nset-exclusive-or (list* 1 2 3) (list 4 5 6)))
+  type-error)
diff --git a/ansi-tests/cons-test-24.lsp b/ansi-tests/cons-test-24.lsp
index 04b07cd7898234d0b732db33d3209ebd122f877b..a010e17db4f6d8eeef7cbd5bf8374204f7e05de6 100644
--- a/ansi-tests/cons-test-24.lsp
+++ b/ansi-tests/cons-test-24.lsp
@@ -247,4 +247,12 @@
 
 (deftest subsetp.error.10
   (classify-error (subsetp (list 1 2) (list 3 4) :key #'car))
-  type-error)
\ No newline at end of file
+  type-error)
+
+(deftest subsetp.error.11
+  (classify-error (subsetp (list 1 2 3) (list* 4 5 6)))
+  type-error)
+
+(deftest subsetp.error.12
+  (classify-error (subsetp (list* 1 2 3) (list 4 5 6)))
+  type-error)