Handle (load ...) instructions in clojure.core
Make scripts for testing lean compilation