Updating coq-semantics to the new version.

Still need to figure out a few things, but code is mostly up-to-date with the rest.