Gravar-mail: Reductive evolution of proteomes and protein structures