Add implementation of ABBROLET for SBCL