Done!!

(is-tc-e (into [] (map #(do %)) [1])
           (t/Vec (t/Val 1)))

ayyy nicely done, that's sick as shit

I wrote a tutorial, can I get some feedback please? https://github.com/typedclojure/typedclojure/tree/main/example-projects/symbolic-guide#symbolic-execution-in-typed-clojure