Add Ambrose's typed Clojure paper