update a proof in modLangProof for recent changes to HOL

new automatic rewrites made a case go away