To use trivial-types for string-designator type

Use string-designator type defined in trivial-types package instead of
my local definition.
Update doc for removing string-designator type definition