Implement PRINT-OBJECT for ENVELOPE instances