change semantics of printing exceptions

just print a raised exception as a normal value preceded by the string
"raise ".
simplify definition of PrintE

to match the new semantics of printing exceptions.
(untested, unproved.)