Converted PTString away from use of sentinels and to the use of PTTypeConstraint instead.