Generating coq-semantics definitions for typed defines declared in NaBL.