Fix name introduction for newtypes
Fix name introduction for newtypes

The newtype doesn't introduce two distinct names, but just one that is re-used
at the type and expression level. This is OK, as the two namespaces are
distinct, thus there is no ambiguity.

Fixes #369

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol