Strengthen the modLang semantics

Include the no_dup_type checks in evaluate_prompt_i1. This will allow
conLangProof to take advantage of the fact that there aren't any
duplicate type definitions, even when an exceptions is raised.