added all AST versions for all translations in Coq in semantics