Updating the coq syntax and fixing a precedence issue in the skeleton.

The issue needs to be handled by the syntax, but the workaround works for now.