```ucm
  scratch/main> alias.type ##Nat Nat
  scratch/main> alias.term ##Nat.+ Nat.+
  ```
  ```unison
  unique type A = A Nat
  unique type B = B Nat Nat
  ```