Create List.maude