PAC: new auxiliary variable type for pac_expectation operator

Also add the new equation to auxiliary equations in the backward case (but not
in the MCE case, since that equation is recursive).