Please add Typo

Typo is a portable type inference library for Common Lisp.  It also supports automatic differentiation and has a built in function data base for a large part of Common Lisp.

https://github.com/marcoheisig/Typo

I intend to use Typo in Petalisp, soon.