Description:
Pretty-prints this in the format understood by parse.
The format is described here.
If type_annotate is true, then type information is included in the output.
Parameters:
| this | a Variant | 
| type_annotate | true if type information should be included in the output | 
Returns:
| a newly-allocated string holding the result. |