Use clojure.spec instead of atom and function overwriting

[elenam]

• [x] Make it work with multiple arguments (track arg numbers)
• [x] Make it work with varargs
• [x] Make it work with multiple arities
• [x] Process the spec hashmap (instead of an atom) in exception handling
• [x] Exception data handling
• [x] Pretty-printing failing args
• [x] Make it work with nilable
• [x] Add tests, especially for multi-predicate and nilable

[real-mj-song]

[real-mj-song]

clojure.lang.ExceptionInfo: Call to #'spec-ex.spec-inte/+ did not conform to spec: :: {:clojure.spec/problems {[:args] {:pred number?, :val "", :via [], :in [4]}}, :clojure.spec/args (3 4 6 7 "")} In: [4] val: "" fails at: [:args] predicate: number? :clojure.spec/args (3 4 6 7 "")

Note: the message is "Call to #'spec-ex.spec-inte/+ did not conform to spec:", the rest is data.

[elenam]

Specs for core functions need to be defined before the function is redefined or in a different file.

[real-mj-song]

• For every function with inlining, we can't use spec without overwriting it.
• Put spec before a function -> specify conditions for the core function
• Put spec after a function -> specify conditions for the overwritten function

[elenam]

For nilable predicates the data is:

{:clojure.spec/problems {[:args :check-map :clojure.spec/nil] {:pred nil?, :val :s, :via [], :in [0]}, 
[:args :check-map :clojure.spec/pred] {:pred map?, :val :s, :via [], :in [0]}}, :clojure.spec/args (:s)}

[real-mj-song]

For some functions, we need to put specs after overwriting them (and we can't get the function name in this case). I think this happens in two cases.

1. When the function has different numbers of :inline-arities like #{2 3}
2. When the function has only :inline without :inline-arities