Implemented maybe and union_find_t types
Added congruence_t to congruence.hpp