Changed unsafeEqual to safeEqual in Prelude.Nat