ExtRel_Evaluate_RHS is working now! (At least for my 1+1=2 example). Working now on fixing ExtRel_Evaluate_LHS.