Improve External Core syntax for newtypes