peekCodeAndReply
fun Solve.Request<ExecutionContext>.peekCodeAndReply(channel: InputChannel<String>, arg: Term): Solve.Response
Peeks the next character code from channel (-1 at end of stream) and unifies arg with it, or fails on a closed channel.