``` ucm
scratch/main> delete foo

  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    foo

```
``` unison
foo = 1
structural type Foo = Foo ()
```

``` ucm
scratch/main> add

  ⍟ I've added these definitions:
  
    structural type Foo
    foo : ##Nat

scratch/main> delete foo

  Done.

scratch/main> delete.type Foo

  Done.

scratch/main> delete.term Foo.Foo

  Done.

```