Linear Dependent Types for Differential Privacy TypeChecker