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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information