TypeDefiningElement constructor

TypeDefiningElement()