TypeDefinition replaces Inductive, Record and Synonym