Update the HOL Light conservativity proof

Use term_image in the statement instead of MAP. The new representation
fixes an annoying bug with the old representation.

Relies on 2 currently cheated facts about how term_image relates to
term_union, and to itself.