Change a couple identifiers in test.
Fix ,type for Typed Racket.

We don't want :print-type -- it can be far too verbose.

We want the simplified type annotation printed by TR at the REPL.

Since I can't find any official way to get that, capture it via regexp.
racket--eval/string should ignore Typed Racket types.

i.e. Skip over the extra "- : <type>" line that Typed Racket prints
before the value.
Use try/catch syntax not bass-ackwards with-handlers.