Fix value_print, which used to be ostensibly langauge-indepentdent,

	Fix value_print, which used to be ostensibly langauge-indepentdent,
	but would print pointers and arrays in C syntax.  Instead, call
	a language-specific function.  See ChangeLog for details.