I don't understand what do you mean by 'tp(a/b) represents a new formula', but it seems to me that you fixing the variables a and b. p.s: for my purpose it suffice to assume that the empty set is Algebraically closed (so the type is stationary)