tweaked mrSolveEq so that FunName types are compared before they themselves are
tweaked mrSolveEq so that FunName types are compared before they themselves are

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script