Added "progBinds" congruence combinators.