fix small step reducer so that cons only takes quoted exps -- not functions b/c rep is diff in clojure
opt