match w.r.t. bound variables