Common Lisp bindings for Sophia