Renaming signames to constructors.
Removing a warning in Coq-parenthesize.str