Abstract newtypes are not accepted by the compiler
nt.dcl
definition module nt
:: NT a
nt.icl
implementation module nt
:: NT a =: NT a
gives the following error:
Error [nt.icl,3,NT]: type definition in the impl module conflicts with the def module