extraction: do not propagate attributes into inductive types
extraction: do not propagate attributes into inductive types

Desugaring already does this, and this causes duplication.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar