Regarding the Signal double-ratchet: I'd be very interested to see an implementation in Lisp of it.