Done: TypeDefinition Section