Added coherent, edr, fpmod, kaplansky and stronglydiscrete
Moved Bezout matrices to dvdring and made smith and smithpid instantiate the edr structure