                             (access/getx expr-type expr))
   (:default 
    [argmap expr cb]
-   (cb argmap {:type (spec/conform ::type (access/getx expr-value expr))
-               :repr expr})))
+   (cb argmap (spec/conform ::type (access/getx expr-value expr)))))
 
 (def empty-argmap {})
 
 
 (defn value? [x]
-  (and (map? x)
-       (contains? x :type)
-       (contains? x :repr)))
+  true)
 
 (defn check-is-value [x]
   (if (not (value? x))

                          :sized-type ::sized-type
                          :array ::array
                          :dynamic ::dynamic))
                       

;; How to specify one:

              (fn [new-argmap x]
                (check-is-value x)
                (compile-exprs new-argmap (rest exprs) cb)))))

(defmacro with-typed [& args]
  (let [parsed (spec/conform ::exprs args)]
