Init: attempt to create a Natural numbers data type (FAILED)