Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs.