Adapted to work both before and after introduction of identifier-binding-symbol.
Adapted to work both before and after introduction of symbol<?.
Documented define-id-shorthand.