ADD: match-goal function.

It takes a goal and returns a vector of all clauses from the well, that match that goal parameters.