Hide pstr() in tulip.synth

This function is trivial and only used internally for convenience
and thus should not be exported.