newtype causes saw to panic

[weaversa]

newtype T_t = { value : [2] }
T = { C1 = T_t { value = 0b00 }
    , C2 = T_t { value = 0b01 }
    , C3 = T_t { value = 0b10 }
    }

> import "test.cry"
You have encountered a bug in cryptol-saw-core's implementation.
*** Please create an issue at https://github.com/GaloisInc/saw-script/issues

%< ---------------------------------------------------
  Revision:  UNKNOWN
  Branch:    UNKNOWN
  Location:  importExpr
  Message:   unknown variable: Name {nUnique = 4717, nInfo = Declared (TopModule (ModName "Main")) UserName, nNamespace = NSType, nIdent = Ident False "T_t", nFixity = Nothing, nLoc = Range\
 {from = Position {line = 1, col = 9}, to = Position {line = 1, col = 12}, source = "test.cry"}}
CallStack (from HasCallStack):
  panic, called at src/Verifier/SAW/Cryptol/Panic.hs:13:9 in cryptol-saw-core-0.1-inplace:Verifier.SAW.Cryptol.Panic
  panic, called at src/Verifier/SAW/Cryptol.hs:982:25 in cryptol-saw-core-0.1-inplace:Verifier.SAW.Cryptol

[RyanGlScott]

Fixed in #1597.