Industrial Diamond

Often players ignore coal in mines after getting a little bit so I think it would be a great idea to give it some new use like artificial diamond as in real life machines compress coal at high temperatures to make Industrial diamond. I think it would make coal more interesting if you could compress some amount of it in a new work station to make diamond, like four blocks of coal to a diamond. It could be as natural diamond or a new type with strength and durability between iron and natural diamond that could include new recipes too.