Added Control.WellFounded to test/Main.agda
Level polymorphic Acc