Parametricity and Semi-Cubical Types