More renamer commits

Versioning now works properly I think.

The main irritation is that interface files now have fuly-qualified names for
*everything*, even things defined in that module.  This is a deficiency in
the pretty printing for interface files.  Probable solution: add something
to the SDoc styles.  But not today.