``` ucm
scratch/main> alias.type ##Nat Nat

  Done.

scratch/main> alias.term ##Nat.+ Nat.+

  Done.

```
``` unison
unique type A = A Nat
unique type B = B Nat Nat
```

``` ucm

  Loading changes detected in scratch.u.

  I found and typechecked these definitions in scratch.u. If you
  do an `add` or `update`, here's how your codebase would
  change:
  
    ⍟ These new definitions are ok to `add`:
    
      type A
      type B

```