FORMAT-CONDITION : fix typo in method name
revise FORMAT-CONDITION protocol
DO-TEST: store state condition in test record. test-recording.lisp & others: Rename accessors, slots -results => -values; export symbols from test-recording.lisp
FORMAT-TEST-LABEL (TEST STREAM) : print class-name instead of class object
FORMAT-TEST-LABEL: PRINC function-name when available
FORMAT-CONDITION (TEST-RESULTS STREAM): write space character between label and results forms
FORMAT-GOAL-SHORTHAND: New
cleanups in test-result pretty printing