types+grammar: adding section to ch4 'ToString' about related JSON stringifcation, per #162