Better names for Pratt parameters

A few suggestions to more clearly name the parameters of your Pratt implementation