Congruence Filter Pairs, Adjoints and Leibniz Hierarchy