Modified update-judgements-with-new-name to create a fresh hash-table, rather
than a copy.  Not sure why it's needed - see harmonic_polynomial_real_rec in
nasalib/reals/harmonic_polynomials for where the copy of the hash-table causes
problems.
Modified judgement-record-arguments-match? to fix problem reported by John
Ramsdell
Misc cleanup, plus fixes to make sure -1 * expr is not generated.