Кроме этого, в лиспе есть FFI и можно создать сущности типов, похожих на типы из Си (там целая технология под капотом, которая отлавливает нюансы размещения сишных объектов в памяти, создавая маленькие экспериментальные программки, называется CFFI-GROVEL). Наверное, их можно и сложить, для этого есть соответствующие (не входящие в стандарт языка) примитивы, кажется, это называется VOP. Но я не буду этим заниматься, т.к. не помню, чтобы этим занимался и не знаю, как это делается. Плюс к тому и так уже время потратил на этот ответ.