PExpr => PTExpr, for type info