done Prop exercises. My solution for palindrome_converse is ridiculously huge and I will be stunned if there is no better way of doing it.
try to make a shorter rev_pal_eq. Not working so well.