First attempt at updating the Coq semantics to the current, jar packaged, version.

Also includes meta files for language mixing.

Unfortunatelly the grammar has changed too much to be compiled right now. Still needs to update that. Planned to do all at once.