Diphantine equations types added