Clean up for some eq_ lemmas

- eq_option_eq moved to Data.Option
- eq_list_eq added to Data.List
- Changed Tactics.Equality to contain rewrites
  for Data.Eq
- Building rewrite database for eq_matches