fixed uf proof with holes bugs
added currying for uf proofs; still needs debugging