some more POs discharged in the setImpls
Added changes to POs for implementable sets and functions: prior to
removing axioms.
removed axioms from setImpl and functionImpl Theories. Still proved.