Enhanced caching for eqprover

Now if there is a cached proof with less
restrictions, we use it. Seems to yield a
small speedup.
Also tried filtering history better, didn't work.