Attempt fix for Milawa example.

The constant INDEX_OF is now in listTheory (but there the "n" argument is dropped through being specialised to 0).