Enriched Diff Vector Calculus