update TODO
Add.hs: areEqual -> areFlagsEqual, add a type signature