Migrate palindrome to the new Idris.