Proposal #2875: remove StringRep and StringConstr