The only useful ltac I see in there is compare, which can save a lot of tedious rewrites, when needing that frequently.