Gravar-mail: Resourceful Program Synthesis from Graded Linear Types