Gravar-mail: Generalising KAT to verify weighted computations