Revisiting Parametricity: Inductives and Uniformity of Propositions