"Decorators for preconditions" indeed looks neat, reminds me of Clojure which has both preconditions and postconditions built in.