writeTermAndReply
fun Solve.Request<ExecutionContext>.writeTermAndReply(channel: OutputChannel<String>, term: Term, formatter: TermFormatter): Solve.Response
Formats term via formatter and writes it to channel, replying success, or failing on a closed channel.