In clj->ltype, properly convert a Clojure list '(a . b) to a cons cell with head a and tail b.
Implement pattern matching properly with core.logic. Big refactoring of bodol.types to avoid passing records to core.logic, which would lead to an exponential performance hit.