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