improvements to dotcode.c
more improvements to dotcode.c
install symbols in names.c rather than dotcode.c
largely cosmetic changes