Bending spec1 to support things that we need for validating configuration, and that hopefully are available with spec2 itself: closing (data-)specs recursively. No macros, just data.

(spec/def a int?)
(spec/valid? `a 2) ;; -> true

It’s a side effect of the impl

Symbols are used as valid names for function specs (s/fdef)