Added find-matching-term-pair
Added find-matching-term-pair

This function takes a list of terms, and returns two whose var lists are
equal?, or #f is no such pair exists.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie