Documentation: CLOS objects serialization