Added congruence.hpp
Contains:
  maybe type
  union_find data structure
Updated congruence todo list
Better comments for the data structure and stubbed out implementation details section.