Cannot embed Cryptol newtypes in let {{ }}

[sauclovian-g]

It seems like saw ought to accept this:

let {{ newtype T = { x: [8] } }};

but it does not:

% saw test.saw
[21:37:19.558] Loading file ".../saw-script/intTests/test2164/test.saw"
[21:37:19.558] Stack trace:
Cryptol parse error:
Parse error at .../saw-script/intTests/test2164/test.saw:1:8,
  unexpected: newtype
  expected: a declaration

I haven't looked yet but my guess is that it's calling the wrong entry point in the Cryptol parser.

(loading newtypes from .cry files via import works fine)