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

That issue needs to be handled through priorities, but will be ignored for now.