Pretty-printing to Coq