Cut Elimination for a Simple Formulation of PAε

The goal is to simplify epsilon substitution method to make possible its extension to much stronger systems than ones treated up to now.