Found an incomplete exercise in Lists.v
Finished off Imp.v at long last.
Finished most of Equiv.v