Simplify the constraints given to the coercion points

Author: rootmos

silly-k.scm

@@ -811,9 +811,9 @@
           `(overloaded ,[map (lambda (t1) `((,t0 ,(fresh-type-instance t1)))) t*] ...))
         (define (mk-coerce-constraint t0 t1)
           (let ([a (fresh-typevar)])
-            `(overloaded (((lambda ,t0 ,t1) (lambda ,t0 ,t0)))
-                         (((lambda ,t0 ,t1) (lambda bool int)))
-                         (((lambda ,t0 ,t1) (lambda (vector bool) (vector int))))
+            `(overloaded ((,t0 ,t1))
+                         ((,t0 bool) (,t1 int))
+                         ((,t0 (vector bool)) (,t1 (vector int)))
                          ((,t0 (vector ,a)) (,t1 (lambda int ,a)))
                          ((,t0 (vector ,a)) (,t1 (lambda (vector int) (vector ,a)))))))))
     (Expr : Expr (e cs) -> Expr (t cs)