Term s PString has a IsString instance. This allows you to make Plutarch level string terms from regular string literals, provided you have OverloadedStrings turned on.
{-# LANGUAGE OverloadedStrings #-}
"foo"where "foo" is actually Term s PString.
It also has a PEq instance. And its terms have Semigroup and Monoid instances - which work the way you would expect.
It does not have a PlutusType instance.
This is synonymous to Plutus Core builtin string (actually Text).