Fix memento, add condemn and MonadChronicle class, add some assorted useful stuff to These and Align
whoops forgot to merge some other changes