WriteEq1
Implements ISO's writeq/1: formats the argument quoting atoms/functors where needed to remain re-readable (i.e. TermFormatter.readable) and writes it to the current output stream (see IOPrimitiveUtils.currentOutputChannel).
Fails, rather than erroring, if the channel is closed.