enhanced eval type system. better integration with clojure. fixed couple of bugs