(def map1 (f xs (o acc)) (if (no xs) acc (map1 f (cdr xs) (cons (f (car xs)) acc))))
(def orl (f) (fn xs (some f xs))) (def andl (f) (fn xs (all f xs)))