fixed up bug where you couldn't delete a DefinedType