1: types, clojure and logic

and more. lots of stuff.