Fixed a couple of issues in Coq generator. Added support for a couple of missing features.
Fixed a couple of issues in Coq generator. Added support for a couple of missing features.

metaborg/nabl,metaborg/nabl,metaborg/nabl