Improve error reporting.

    Double declarations now say where they were double declared.