Added Control.WellFounded to test/Main.agda
Level polymorphic Acc
No reason to use safeEqual in wfNat
Merge branch 'compat-2.4.0'