Make STANDARD-INFO objects print their name.
Add automatic support for unrecognized macros: expand and retry.

Also, incidental refactorings.

Error reporting could be better.