housekeeping: change name of type argument for all eliminators to P, for uniformity