The macro fli:define-foreign-converter is now fully documented. It defines a new FLI type specifier that converts to and/or from another type specifier.
fli:define-foreign-converter