update exp_pat relation
more updating in patLangProofScript.sml

mainly evaluate_pat_exp_pat