* loading.texi: Add `define-type' entry for load-history