Extend Coq syntax definition