Add procedures: `coprime?', `relatively-prime?', `mod-inverse' and `extended-euclidean'