Completed MoreLogic Chapter

I will admit, I had to find help on the internets for the Pidgeonhole
Principle proof, and right now it only works if equality is decideable
:(
I plan to amend this later, but for now it will do.