Do not create symbols from prettified identifiers (fix #718).

Otherwise, it makes it impossible to refer to these symbols in a session. For example, (+)'result is parsed as infix +'result.