Moved reify_lemma to its own file. It is parametric on ILogicFunc.