Properly parenthesize type applications in pretty printer for type Prop.
Properly parenthesize type applications in pretty printer for type Prop.

Special cases for PArith, PCmp, PSignedCmp, and PLiteral are removed,
as they are covered correctly by the fallback case.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol