bump cljs
Added new experimental constraint - negation as failure