Some sugar macros for clojure.core.contracts