The Parametric Lambda Calculus