Link to Parametricity and fix typos