Completed MoreInd Chapter

Starting to write custom induction schemes.  This is /hard/
Attempted to make progress on palindrome problem

SO I can definitely prove it if I'm using a dequeue instead of a list.
But otherwise... not so much.