Keep track of types in Clojure

[Steffan153]

This would allow optimization of e.g. (subvec(vec a)b c), removing vec if it is already a vector. Same with conj and probably others.