added LYAH's implementation of TODO, completed PushToTop function, and need to handle `bump` for Todo.hs