In binding items generated by top-level syntax definitions, rename the

In binding items generated by top-level syntax definitions, rename the
identifier being bound with RENAME-TOP-LEVEL-IDENTIFIER, because some
syntax definitions are produced with temporary synthetic identifiers,
which the output interface should not see.

Also, elide the unnecessary OVERLOADED-BINDING-THEORY indirection in
variable and syntactic definition form classification.