display can omit local definitions and show hash references

[ceedubs]

Describe and demonstrate the bug

fresh/main> builtins.merge

  Done.

The following is a fairly straightforward factorial implementation that recurses into an inner go function.

factorial : Nat -> Nat
factorial =
  go acc n =
    if n <= 1 then acc
    else go (acc * n) (Nat.drop n 1)
  go 1

  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`:
    
      factorial : Nat -> Nat

Now we display it:

fresh/main> display factorial

  n ->
    (if n <= 1 then 1
    else #o5diegpfvg (1 Nat.* n) (Nat.drop n 1))

There are several weird things about this result:

1. It doesn't show the definition of go.
2. It references an unnamed term #o5diegpfvg.
3. The connection between the displayed and actual implementation isn't clear to me. It looks like it's mixing up n and acc. It might just be that it has been through a reduction/optimization pass, but without knowing what #o5diegpfvg looks like, it's hard to say.

Screenshots
If applicable, add screenshots to help explain your problem.

Environment (please complete the following information):

• ucm --version 0.5.29

[aryairani]

What about view factorial or view #o5diegpfvg?