Suggested by @tibuch: when looking up an op using an OpRef equal to a previous request, we should return a cached result, rather than going through the whole matching process again.

This is distinct from #5, which is about the possibility to cache op execution results. For this issue here, we just want to cache the matched op.