newtype fixes, coercions for non-recursive newtypes now optional