Cryptol newtypes not visible when imported using `cryptol_load`

[Bretton]

module M where
newtype T = { x : Bit }
type U = T

sawscript> M <- cryptol_load "M.cry"
sawscript> {| M::T |}

Stack trace:
Cryptol error:
[error] at <stdin>:1:4--1:8
    Type not in scope: M::T

sawscript> {| M::U |}
[05:39:06.725] M::T

It seems like we are only adding type synonym names to the naming environment and not newtype names.