Fixing precedence in the skeleton and imports and types to get coqv to accept.

Still need to fix the Closure and Id issue: Clos needs idents, but currently it gets terms. The Terms need to be deconstructed into idents first.