TypeDeclaration

TypeDeclaration["Product", name, < | field1 -> type1, field2 -> type2, … | >]

TypeDeclaration["Abstract", name]

TypeDeclaration["Alias", name, targetType]

TypeDeclaration["Macro", name, targetType]