Install coq-syntax