for (String key : type.getKeywordParameters()) {
kwTypes.insert(vf.constructor(Factory.Symbol_Label, vf.string(key), type.getKeywordParameterType(key).accept(this)));
}
alts.insert(vf.constructor(Factory.Production_Cons, vf.constructor(Factory.Symbol_Label, vf.string(type.getName()), adt), w.done(), kwTypes.done(), kwDefaults.done(), vf.set()));
choice = vf.constructor(Factory.Production_Choice, adt, alts.done());
definitions.put(adt, choice);
}