use different naming for test programs that get run
change surface syntax for 'expected annotations

shorter, and reflects the fact that we are not expecting a list
give nicer report for common case C++ run test failure
implement `put-int` for Racket, too

to get Racket to show its `expected` output for a test program