ADD: match-goal function.

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