Incorrect handling of Cryptol newtype

[yav]

The following program panics:

import "test.cry";    
                                                                            
print {{ A { x = 2 } }};

where test.cry is like this:

newtype A = { x : 8 }

[RyanGlScott]

For reference, the panic is:

$ ./bin/saw test.saw



[16:47:21.971] Loading file "/home/rscott/Documents/Hacking/Haskell/saw-script/test.saw"
[16:47:22.037] You have encountered a bug in Cryptol's implementation.
*** Please create an issue at https://github.com/GaloisInc/cryptol/issues

%< --------------------------------------------------- 
  Revision:  9382d527543db70068b71fe3a327cd07fe0b36c8
  Branch:    HEAD
  Location:  Cryptol.TypeCheck.TypeOf.fastSchemaOf
  Message:   EVar failed to find type variable:
             Name {nUnique = 4775, nInfo = Declared (TopModule (ModName "Main")) UserName, nNamespace = NSType, nIdent = Ident False "A", nFixity = Nothing, nLoc = Range {from = Position {line = 1, col = 9}, to = Position {line = 1, col = 10}, source = "test.cry"}}
CallStack (from HasCallStack):
  panic, called at src/Cryptol/Utils/Panic.hs:21:9 in cryptol-2.13.0.99-inplace:Cryptol.Utils.Panic
  panic, called at src/Cryptol/TypeCheck/TypeOf.hs:74:37 in cryptol-2.13.0.99-inplace:Cryptol.TypeCheck.TypeOf
%< ---------------------------------------------------