Fix link to combinators in Coq.